Michel Dubois

Available identifiers

Publication	Date of Publication	Type
The Synonym Lookaside Buffer: A Solution to the Synonym Problem in Virtual Caches	2017-08-08	Paper
Extremely Low Cost Error Protection with Correctable Parity Protected Cache	2017-06-20	Paper
Accurate Model for Application Failure Due to Transient Faults in Caches	2017-05-16	Paper
Formal verification of complex coherence protocols using symbolic state models	2005-01-25	Paper
Performance evaluation of the slotted ring multiprocessor	2003-11-10	Paper
Shared cache architectures for decision support systems	2003-01-21	Paper
Compiler controlled prefetching for multiprocessors using low-overhead traps and prefetch engines	2001-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4244233	1999-11-08	Paper
Empirical models of miss rates	1998-08-13	Paper
Parallel asynchronous algorithms for discrete data	1990-01-01	Paper
Sufficient conditions for the convergence of asynchronous iterations	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753389	1986-01-01	Paper
Effects of Cache Coherency in Multiprocessors	1982-01-01	Paper
Performance of Synchronized Iterative Processes in Multiprocessor Systems	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659310	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3950126	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914556	1980-01-01	Paper

This page was built for person: Michel Dubois