Publications de
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
A refinement-based validation of a cache coherence protocol
Dans : 10th International Conference on Parallel and Distributed Computing Systems, New Orleans, Louisiana USA, ISCA, p. 332-337, octobre 1997.
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
Etude du protocole de cohérence de la machine M3S
Dans : Rencontres du parallélisme RenPar’8, –, -, p. 173-176, mai 1996.
Dominique Carrière, Daniel Litaize
La consistance des machines M3S
Dans : 1ère école d’informatique des systèmes parallèles et répartis ‘Cohérence et consistance dans les systèmes parallèles’, IRIT, .
Stephan Jourdan, Dominique Carrière, Daniel Litaize
Conception des étages d’exécution de S3M
Dans : 7èmes Rencontres du Parallélisme, Mons, Belgique, -, p. 25-29, mai 1995.
Dominique Carrière, Stephan Jourdan, Daniel Litaize, Christine Rochange, Pascal Sainrat
Le parallélisme de données et d¿instructions dans les multiprocesseurs à mémoire commune
Dans : Journées sur le parallélisme de l¿IRIT, Toulouse, .
Daniel Litaize, Dominique Carrière, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Using Ultra High-Speed Serial Links in Shared-Memory Multiprocessors
Dans : Open Bus Systems ’94, Paris, VITA, p. 103-110, janvier 1994.
Stephan Jourdan, Dominique Carrière, Daniel Litaize
A high Out-of-order Issue Symmetric Superpipeline Superscalar Microprocessor
Dans : 20th Euromicro conference, Liverpool, -, p. 338-345, janvier 1994.
Résumé Accès : http://www.irit.fr/publis/APARA/Superscalar/A_Euromicro94.ps.gz
BibTeXDaniel Litaize, Dominique Carrière, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Le module mémoire et la liaison série du multiprocesseur M3S
Dans : Forum des recherches en informatique, Palaiseau, .
Daniel Litaize, Abdelaziz M’zoughi, Pascal Sainrat, Dominique Carrière, Christine Rochange
Projet M3S : multiprocesseur à mémoire multiport série
Dans : Journées ¿Modèles d¿exécution et architectures parallèles¿ ; PRC-ANM, Rennes, .
Dominique Carrière, Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Update on the M3S project
Dans : 3rd Workshop on Scalable Shared-Memory Multiprocessors, San Diego, .
Dominique Carrière, Daniel Litaize, Christine Rochange, Pascal Sainrat
Design of the memory plane of the M3S project
Dans : International Workshop on Field-Programmable Logic and Applications, Vienne, University of Kaiserslautern, septembre 1992.
Architecture, Consistance et Etude formelle d’un module mémoire d’une architecture à mémoire physiquement partagée
Thèse de doctorat, Université Paul Sabatier, juillet 1996.