Publications of
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
A refinement-based validation of a cache coherence protocol
In : 10th International Conference on Parallel and Distributed Computing Systems, New Orleans, Louisiana USA, ISCA, pp. 332-337, October 1997.
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
Etude du protocole de cohérence de la machine M3S
In : Rencontres du parallélisme RenPar’8, –, -, pp. 173-176, May 1996.
Dominique Carrière, Daniel Litaize
La consistance des machines M3S
In : 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
In : 7èmes Rencontres du Parallélisme, Mons, Belgique, -, pp. 25-29, May 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
In : 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
In : Open Bus Systems ’94, Paris, VITA, pp. 103-110, January 1994.
Stephan Jourdan, Dominique Carrière, Daniel Litaize
A high Out-of-order Issue Symmetric Superpipeline Superscalar Microprocessor
In : 20th Euromicro conference, Liverpool, -, pp. 338-345, January 1994.
Abstract URL : 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
In : 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
In : 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
In : 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
In : International Workshop on Field-Programmable Logic and Applications, Vienne, University of Kaiserslautern, September 1992.
Architecture, Consistance et Etude formelle d’un module mémoire d’une architecture à mémoire physiquement partagée
Master’s Thesis, Université Paul Sabatier, July 1996.