Searching for authors named "Michel Dubois" – sorted by Relevance.
-
Multiprocessor Emulation With Rpm: Early Experience
- 1 MULTIPROCESSOR EMULATION WITH RPM: EARLY EXPERIENCE Michel Dubois, Alain Gefflaut*, Jaeheon
- Cited by 1 (1 self) – Add To MetaCart
-
Implementation and Performance of Asynchronous and Synchronous Data Classification Algorithms
- * Adrian C. Moga and Michel Dubois Department of Electrical Engineering-Systems University of Southern
- Add To MetaCart
-
A Survey of Verification Techniques for Cache Coherence Protocols
- 1 A Survey of Verification Techniques for Cache Coherence Protocols Fong Pong and Michel Dubois
- Add To MetaCart
-
Effects Of Asynchronism On The Convergence Rate Of A Class Of Iterations
- * and Michel Dubois *Istanbul Technical University Department of Electrical Engineering Ayazaga Kampusu, 80626
- Add To MetaCart
-
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models
- Fong Pong, Michel Dubois* Computer Systems and Technology Laboratory HP Laboratories Palo Alto HPL-2000
- Cited by 3 (0 self) – Add To MetaCart
-
Formal Verification of Delayed Consistency Protocols
- Formal Verification of Delayed Consistency Protocols Fong Pong Michel Dubois Sun Microsystems
- Cited by 6 (3 self) – Add To MetaCart
-
Integrating Complete-System and User-level Performance/Power Simulators: The SimWattch Approach
- and power dissipation analysis. Michel Dubois 1 1 Department of Electrical Engineering - Systems University
- Cited by 6 (0 self) – Add To MetaCart
-
Options for Dynamic Address Translation in COMAs
- Options for Dynamic Address Translation in COMAs Xiaogang Qiu and Michel Dubois Department
- Cited by 5 (1 self) – Add To MetaCart
-
Formal Verification of Complex Coherence Protocols Using Symbolic State Models
- and Michel Dubois* Sun Microsystems Computer Corporation Technology Development Group fong
- Cited by 11 (2 self) – Add To MetaCart
-
Correctness of a Directory-Based Cache Coherence Protocol: Early Experience
- CENG-93-23 Fong Pong and Michel Dubois Department of EE-Systems University of Southern California Los
- Cited by 5 (4 self) – Add To MetaCart

