Henrio, Ludovic.
Henrio, Ludovic, 1976-....
VIAF ID: 72490769 ( Personal )
Permalink: http://viaf.org/viaf/72490769
Preferred Forms
-
-
- 100 1 _ ‡a Henrio, Ludovic
-
- 100 1 _ ‡a Henrio, Ludovic
-
- 100 1 _ ‡a Henrio, Ludovic, ‡d 1976-....
-
Works
Title | Sources |
---|---|
Analyse de synchronisation dans les objets actifs basée sur les types comportementaux | |
Analysis of synchronisation patterns in active objects based on behavioural types. | |
Calcul d'objet asynchrone : confluence et déterminisme. | |
Combinaison de programmes à objets actifs et BSP | |
Combining active object and BSP programs. | |
Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels | |
Une étude des futurs de première classe : spécification, formalisation et preuves formelles. | |
A framework for rigorous development of distributed components : formalisation and tools. | |
Nested atomic sections with thread escape : semantics and compilation. | |
Parameterised extension of certified compiler for parallel programming. | |
Reconfiguration et cycle de vie des composants distribués : asynchronisme, cohérence et vérification. | |
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation | |
Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing | |
A study of first class futures : specification, formalisation, and mechanised proofs | |
Support à l'exécution pour objets actifs multi-threadés : conception et implémentation | |
Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants | |
A theory of distributed objects : asynchrony, mobility, groups, components |