Stefani, Jean-Bernard
Stefani, Jean-Bernard, 19..-....
Jean-Bernard Stefani
Stefani, Jean-Bernard, 1960-
VIAF ID: 57667066 ( Personal )
Permalink: http://viaf.org/viaf/57667066
Preferred Forms
- 100 0 _ ‡a Jean-Bernard Stefani
- 100 1 _ ‡a Stefani, Jean-Bernard
-
-
-
-
- 100 1 0 ‡a Stefani, Jean-Bernard
- 100 1 _ ‡a Stefani, Jean-Bernard
- 100 1 _ ‡a Stefani, Jean-Bernard, ‡d 19..-....
-
Works
Title | Sources |
---|---|
42, A component-based approach to virtual prototyping of heterogeneous embedded systems. | |
42, Une approche à composants pour le prototypage virtuel des systèmes embarqués hétérogènes | |
Apports des architectures à composants pour le déploiement d'applications à la juste taille | |
Architecture logicielle et outils pour systèmes d'exploitation reconfigurables | |
Bisimulations in calculi with passivation | |
Components an types. | |
Conception et implantation d’un environnement de développement de logiciels à base de composants, applications aux systèmes multiprocesseurs sur puce | |
Conception of reconfigurable embedded system kernels. | |
concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility. | |
Contributions to software deployment in a component -based reflexive architecture. | |
DAIS 2003 | |
Design and implementation of a component-based software development environment, applications for multi-processor system-on-chips. | |
Distributed applications and interoperable systems : 4th IFIP WG 6.1 International Conference, DAIS 2003, Paris, France November 17-21, 2003 : proceedings | |
Étude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs | |
Formal methods for open object-based distributed systems, 1997: | |
Gossiping in the wild -- Tackling practical problems faced by gossip protocols when deployed on the Internet. | |
Improving the performance of data servers on multicore architectures. | |
Isolation dynamique pour une machine abstraite à base d'acteurs. | |
Kleene algebra, Rewriting modulo AC and Circuits in Coq.. | |
Location graphs : a formal approach to encapsulation and its implementation. | |
Modélisation à base de composants de systèmes temps réel hétérogènes en BIP = Component-based modeling of heterogeneous real-time systems in BIP | |
Necro, la sémantique sans y laisser les os : conception d'un système formel de description et de manipulation de sémantiques opérationnelles | |
Necro, the skeleton key to semantics. | |
On Scalable Reconfigurable Component Models for High-Performance Computing | |
Open distributed processing and multimedia, 1997: | |
Performance, disponibilité et coût de services internet adaptatifs | |
Quelques défis posés par l'utilisation de protocoles de Gossip dans l'Internet | |
Réversibilité dans le pi calcul d'ordre supérieur | |
Reversible Computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings | |
Siaam : Simple Isolation for an Actor-based Abstract Machine | |
Software architecture and tools for building reconfigurable operating systems. | |
Toward a peer-to-peer architecture for cloud computing. | |
Vers l'exogiciel : Une approche de la construction d'infrastructures logicielles radicalement configurables | |
Vers une architecture pair-à-pair pour l'informatique dans le nuage |