Le moteur de recherche
des thèses françaises
Juliusz Chroboczek
IdRefMots clés
FR |
EN
Compilation (informatique)
Réseaux multihomés
Multichemin
Routage (informatique)
Protocoles de réseaux d'ordinateurs
Algorithmes
Continuation-passing C
Programmation à évènements
Lambda lifting
Langages de programmation
Threads (logiciels)
Programmation parallèle (informatique)
Synchrone
Réactif
Compilation
Multi-coeur
Sécurité
Sémantique formelle
Bisimulation
Microprocesseurs multi-coeurs