2009 |
107 | EE | Adrian Moga,
Michel Dubois:
A comparative evaluation of hybrid distributed shared-memory systems.
Journal of Systems Architecture - Embedded Systems Design 55(1): 43-52 (2009) |
106 | EE | Woojin Choi,
Seok-Jun Park,
Michel Dubois:
Accurate Instruction Pre-scheduling in Dynamically Scheduled Processors.
T. HiPEAC 2: 107-127 (2009) |
2008 |
105 | | Per Stenström,
Michel Dubois,
Manolis Katevenis,
Rajiv Gupta,
Theo Ungerer:
High Performance Embedded Architectures and Compilers, Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
Springer 2008 |
104 | EE | Michel Dubois,
Hyunyoung Lee:
STAMP: A universal algorithmic model for next-generation multithreaded machines and systems.
IPDPS 2008: 1-5 |
103 | EE | Federico Tajariol,
Jean-Michel Adam,
Michel Dubois:
Seeing the Face and Observing the Actions: The Effects of Nonverbal Cues on Mediated Tutoring Dialogue.
Intelligent Tutoring Systems 2008: 480-489 |
102 | EE | Xiaogang Qiu,
Michel Dubois:
The Synonym Lookaside Buffer: A Solution to the Synonym Problem in Virtual Caches.
IEEE Trans. Computers 57(12): 1585-1599 (2008) |
2007 |
101 | | Utpal Banerjee,
José Moreira,
Michel Dubois,
Per Stenström:
Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007
ACM 2007 |
100 | EE | Md. Mafijul Islam,
Alexander Busck,
Mikael Engbom,
Simji Lee,
Michel Dubois,
Per Stenström:
Loop-level Speculative Parallelism in Embedded Applications.
ICPP 2007: 3 |
99 | EE | Michel Dubois,
Hyunyoung Lee,
Lan Lin:
STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems.
IPDPS 2007: 1-8 |
98 | EE | Marc-Eric Bobillier-Chaumon,
Michel Dubois,
Françoise Sandoz-Guermond:
Study of conditions of use of E-services accessible to visually disabled persons
CoRR abs/0712.2168: (2007) |
97 | EE | Jianwei Chen,
Michel Dubois,
Per Stenström:
SimWattch: Integrating Complete-System and User-Level Performance and Power Simulators.
IEEE Micro 27(4): 34-48 (2007) |
2006 |
96 | | Laxmi N. Bhuyan,
Michel Dubois,
Will Eatherton:
Proceedings of the 2006 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2006, San Jose, California, USA, December 3-5, 2006
ACM 2006 |
95 | EE | Jaeheon Jeong,
Per Stenström,
Michel Dubois:
Simple penalty-sensitive replacement policies for caches.
Conf. Computing Frontiers 2006: 341-352 |
94 | EE | Jaeheon Jeong,
Michel Dubois:
Cache Replacement Algorithms with Nonuniform Miss Costs.
IEEE Trans. Computers 55(4): 353-365 (2006) |
2005 |
93 | EE | Nasir Mohyuddin,
Rashed Bhatti,
Michel Dubois:
Controlling leakage power with the replacement policy in slumberous caches.
Conf. Computing Frontiers 2005: 161-170 |
92 | EE | Xiaogang Qiu,
Michel Dubois:
Moving Address Translation Closer to Memory in Distributed Shared-Memory Multiprocessors.
IEEE Trans. Parallel Distrib. Syst. 16(7): 612-623 (2005) |
2004 |
91 | EE | Michel Dubois:
Fighting the memory wall with assisted execution.
Conf. Computing Frontiers 2004: 168-180 |
90 | EE | Martin Kämpe,
Per Stenström,
Michel Dubois:
Self-correcting LRU replacement policies.
Conf. Computing Frontiers 2004: 181-191 |
89 | EE | Xiaogang Qiu,
Michel Dubois:
Tolerating Late Memory Traps in Dynamically Scheduled Processors.
IEEE Trans. Computers 53(6): 732-743 (2004) |
2003 |
88 | EE | Jaeheon Jeong,
Michel Dubois:
Cost-Sensitive Cache Replacement Algorithms.
HPCA 2003: 327- |
87 | EE | Jianwei Chen,
Michel Dubois,
Per Stenström:
Integrating complete-system and user-level performance/power simulators: the SimWattch approach.
ISPASS 2003: 1-10 |
86 | | Adrian Moga,
Michel Dubois:
Scalability implications of software-implemented coherence.
Comput. Syst. Sci. Eng. 18(1): 7-15 (2003) |
2002 |
85 | EE | Martin Kämpe,
Per Stenström,
Michel Dubois:
The FAB Predictor: Using Fourier Analysis to Predict the Outcome of Conditional Branches.
HPCA 2002: 223-232 |
84 | | Michel Dubois,
Jaeheon Jeong,
Ashwini K. Nanda:
Shared cache architectures for decision support systems.
Perform. Eval. 49(1/4): 283-298 (2002) |
2001 |
83 | EE | Xiaogang Qiu,
Michel Dubois:
Towards Virtually-Addressed Memory Hierarchies.
HPCA 2001: 51-62 |
2000 |
82 | EE | Fong Pong,
Michel Dubois:
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.
IEEE Trans. Parallel Distrib. Syst. 11(9): 989-1006 (2000) |
81 | EE | Michel Dubois,
Isolde Vial:
Multimedia design: the effects of relating multimodal information.
J. Comp. Assisted Learning 16(2): 157-165 (2000) |
80 | | Jonas Skeppstedt,
Michel Dubois:
Compiler Controlled Prefetching for Multiprocessors Using Low-Overhead Traps and Prefetch Engines.
J. Parallel Distrib. Comput. 60(5): 585-615 (2000) |
1999 |
79 | EE | Xiaogang Qiu,
Michel Dubois:
Tolerating Late Memory Traps in ILP Processors.
ISCA 1999: 76-87 |
78 | EE | Jaeheon Jeong,
Michel Dubois:
Optimal Replacements in Caches with Two Miss Costs.
SPAA 1999: 155-164 |
1998 |
77 | EE | Michel Dubois,
Christoph Scheurich,
Faye A. Briggs:
Memory Access Buffering in Multiprocessors.
25 Years ISCA: Retrospectives and Reprints 1998: 320-328 |
76 | EE | Michel Dubois,
Christoph Scheurich:
Retrospective: Memory Access Buffering in Multiprocessors.
25 Years ISCA: Retrospectives and Reprints 1998: 48-50 |
75 | EE | Adrian Moga,
Michel Dubois:
The Effectiveness of SRAM Network Caches in Clustered DSMs.
HPCA 1998: 103-112 |
74 | EE | Xiaogang Qiu,
Michel Dubois:
Options for Dynamic Address Translation in COMAs.
ISCA 1998: 214-225 |
73 | EE | Christopher Ho,
Heidi E. Ziegler,
Michel Dubois:
In-Memory Directories: Eliminating the Cost of Directories in CC-NUMAs.
SPAA 1998: 222-230 |
72 | EE | Michel Dubois,
Jaeheon Jeong,
Yong Ho Song,
Adrian Moga:
Rapid Hardware Prototyping on RPM-2.
IEEE Design & Test of Computers 15(3): 112-118 (1998) |
71 | | Fong Pong,
Michael C. Browne,
Gunes Aybay,
Andreas Nowatzyk,
Michel Dubois:
Design Verification of the S3.mp Cache-Coherent Shared-Memory System.
IEEE Trans. Computers 47(1): 135-140 (1998) |
70 | | Fredrik Dahlgren,
Michel Dubois,
Per Stenström:
Performance Evaluation and Cost Analysis of Cache Protocol Extensions for Shared-Memory Multiprocessors.
IEEE Trans. Computers 47(10): 1041-1055 (1998) |
69 | EE | Fong Pong,
Michel Dubois:
Formal Verification of Complex Coherence Protocols Using Symbolic State Models.
J. ACM 45(4): 557-587 (1998) |
68 | | Kangwoo Lee,
Michel Dubois:
Empirical Models of Miss Rates.
Parallel Computing 24(2): 205-219 (1998) |
1997 |
67 | EE | Kangwoo Lee,
Woo-Jong Han,
Michel Dubois:
Bottleneck-Free Interconnect and IO Subsystem in SPAX.
ICPADS 1997: 524-533 |
66 | EE | Adrian Moga,
Michel Dubois,
Alain Gefflaut:
Hardware Versus Software Implementation of COMA.
ICPP 1997: 248-256 |
65 | EE | Jonas Skeppstedt,
Michel Dubois:
Hybrid compiler/hardware prefetching for multiprocessors using low-overhead cache miss traps.
ICPP 1997: 298-305 |
64 | | Per Stenström,
Mats Brorsson,
Fredrik Dahlgren,
Håkan Grahn,
Michel Dubois:
Boosting the Performance of Shared Memory Multiprocessors.
IEEE Computer 30(7): 63-70 (1997) |
1996 |
63 | EE | Fong Pong,
Michel Dubois:
Formal Verification of Delayed Consistency Protocols.
IPPS 1996: 124-131 |
62 | EE | Adrian Moga,
Michel Dubois:
Performance of Asynchronous Linear Iterations with Random Delays.
IPPS 1996: 625-629 |
61 | EE | Fong Pong,
Michel Dubois:
Verification Techniques for Cache Coherence Protocols.
ACM Comput. Surv. 29(1): 82-126 (1996) |
60 | | Aydin Üresin,
Michel Dubois:
Effects of Asynchronism on the Convergence Rate of Iterative Algorithms.
J. Parallel Distrib. Comput. 34(1): 66-81 (1996) |
1995 |
59 | | Fong Pong,
Andreas Nowatzyk,
Gunes Aybay,
Michel Dubois:
Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study.
Euro-Par 1995: 287-300 |
58 | EE | Koray Öner,
Luiz André Barroso,
Sasan Iman,
Jaeheon Jeong,
Krishnan Ramamurthy,
Michel Dubois:
The Design of RPM: An FPGA-based Multiprocessor Emulator.
FPGA 1995: 60-66 |
57 | | Luiz André Barroso,
Sasan Iman,
Jaeheon Jeong,
Koray Öner,
Michel Dubois:
RPM: A Rapid Prototyping Engine for Multiprocessor Systems.
IEEE Computer 28(2): 26-34 (1995) |
56 | | Luiz André Barroso,
Michel Dubois:
Performance Evaluation of the Slotted Ring Multiprocessor.
IEEE Trans. Computers 44(7): 878-890 (1995) |
55 | EE | Fredrik Dahlgren,
Michel Dubois,
Per Stenström:
Sequential Hardware Prefetching in Shared-Memory Multiprocessors.
IEEE Trans. Parallel Distrib. Syst. 6(7): 733-746 (1995) |
54 | EE | Fong Pong,
Michel Dubois:
A New Approach for the Verification of Cache Coherence Protocols.
IEEE Trans. Parallel Distrib. Syst. 6(8): 773-787 (1995) |
53 | | Michel Dubois,
Jonas Skeppstedt,
Per Stenström:
Essential Misses and Data Traffic in Coherence Protocols.
J. Parallel Distrib. Comput. 29(2): 108-125 (1995) |
1994 |
52 | | Fong Pong,
Per Stenström,
Michel Dubois:
An Integrated Methodology for the Verification of Directory-Based Cache Protocols.
ICPP (1) 1994: 158-165 |
51 | | Fredrik Dahlgren,
Michel Dubois,
Per Stenström:
Combined Performance Gains of Simple Cache Protocol Extensions.
ISCA 1994: 187-197 |
1993 |
50 | | Fredrik Dahlgren,
Michel Dubois,
Per Stenström:
Fixed and Adaptive Sequential Prefetching in Shared Memory Multiprocessors.
ICPP 1993: 56-63 |
49 | | Yung-Syau Chen,
Michel Dubois:
Cache Protocols with Partial Block Invalidations.
IPPS 1993: 16-23 |
48 | | Luiz André Barroso,
Michel Dubois:
The Performance of Cache-Coherent Ring-based Multiprocessors.
ISCA 1993: 268-277 |
47 | | Michel Dubois,
Jonas Skeppstedt,
Livio Ricciulli,
Krishnan Ramamurthy,
Per Stenström:
The Detection and Elimination of Useless Misses in Multiprocessors.
ISCA 1993: 88-97 |
46 | EE | Koray Öner,
Michel Dubois:
Effects of Memory Latencies on Non-Blocking Processor/Cache Architectures.
International Conference on Supercomputing 1993: 338-347 |
45 | | Jacqueline Chame,
Michel Dubois:
Cache Inclusion and Processor Sampling in Multiprocessor Simulations.
SIGMETRICS 1993: 36-47 |
44 | EE | Fong Pong,
Michel Dubois:
The Verification of Cache Coherence Protocols.
SPAA 1993: 11-20 |
43 | | Fong Pong,
Michel Dubois:
Correctness of a Directory-Based Cache Coherence Protocol: Early Experience.
SPDP 1993: 37-44 |
1992 |
42 | | Ashfaq A. Khokhar,
Michel Dubois:
Matching Algorithms and Architecture in Hierarchical Shared-Memory Multiprocessor (HMS) Systems.
IPPS 1992: 558-561 |
41 | | Michel Dubois,
Luiz André Barroso,
Yung-Syau Chen,
Koray Öner:
Scalability Problems in Multiprocessors with Private Caches.
PARLE 1992: 211-230 |
40 | | Michel Dubois:
Special Issue on Memory System Architectures for Scalable Multiprocessors.
J. Parallel Distrib. Comput. 15(4): 303-304 (1992) |
1991 |
39 | | Luiz André Barroso,
Michel Dubois:
Cache Coherence on a Slotted Ring.
ICPP (1) 1991: 230-237 |
38 | | Jin-Chin Wang,
Michel Dubois,
Faye A. Briggs:
Analytical Modeling for Finite Cache Effects.
ICPP (1) 1991: 287-291 |
37 | EE | Michel Dubois,
Jin-Chin Wang,
Luiz André Barroso,
Kangwoo Lee,
Yung-Syau Chen:
Delayed consistency and its effects on the miss rate of parallel programs.
SC 1991: 197-206 |
36 | | Michel Dubois,
Faye A. Briggs:
The Run-Time Efficiency of Parallel Asynchronous Algorithms.
IEEE Trans. Computers 40(11): 1260-1266 (1991) |
35 | | Michel Dubois,
Jin-Chin Wang:
Shared Block Contention in a Cache Coherence Protocol.
IEEE Trans. Computers 40(5): 640-644 (1991) |
34 | | Christoph Scheurich,
Michel Dubois:
Lockup-free Caches in High-Performance Multiprocessors.
J. Parallel Distrib. Comput. 11(1): 25-36 (1991) |
1990 |
33 | | Anastasios A. Economides,
Michel Dubois:
Transient Models of Bus-Based Multiprocessors.
ICPP (1) 1990: 153-160 |
32 | | Aydin Üresin,
Michel Dubois:
Asynchronous Iterations with Bounded Delay.
ICPP (3) 1990: 236-243 |
31 | | Sharad Mehrotra,
Chien-Ming Cheng,
Kai Hwang,
Michel Dubois,
Dhabaleswar K. Panda:
Algorithm-Driven Simulation and Performance Projection of a RISC-based Orthogonal Multiprocessor.
ICPP (3) 1990: 244-253 |
30 | EE | Kai Hwang,
Michel Dubois,
Dhabaleswar K. Panda,
S. Rao,
Shisheng Shang,
Aydin Üresin,
W. Mao,
H. Nair,
M. Lytwyn,
F. Hsieh,
J. Liu,
Sharad Mehrotra,
Chien-Ming Cheng:
OMP: a RISC-based multiprocessor using orthogonal-access memories and multiple spanning buses.
ICS 1990: 7-22 |
29 | | Jin-Chin Wang,
Michel Dubois:
Performance comparison of cache coherence protocols based on the access burst model.
Comput. Syst. Sci. Eng. 5(3): 147-158 (1990) |
28 | | Shreekant S. Thakkar,
Michel Dubois,
Anthony T. Laundrie,
Gurindar S. Sohi,
David V. James,
Stein Gjessing,
Manu Thapar,
Bruce Delagi,
Michael J. Carlton,
Alvin M. Despain:
Scalable Shared-Memory Multiprocessor Architectures.
IEEE Computer 23(6): 71-83 (1990) |
27 | | Michel Dubois,
Shreekant S. Thakkar:
Cache Architectures in Tightly Coupled Multiprocessors - Guest Editors' Introduction to the Special Issue.
IEEE Computer 23(6): 9-11 (1990) |
26 | EE | Michel Dubois,
Christoph Scheurich:
Memory Access Dependencies in Shared-Memory Multiprocessors.
IEEE Trans. Software Eng. 16(6): 660-673 (1990) |
25 | EE | Aydin Üresin,
Michel Dubois:
Parallel Asynchronous Algorithms for Discrete Data
J. ACM 37(3): 588-606 (1990) |
1989 |
24 | | Christoph Scheurich,
Michel Dubois:
Dynamic Page Migration in Multiprocessors with Distributed Global Memory.
IEEE Trans. Computers 38(8): 1154-1163 (1989) |
23 | | Aydin Üresin,
Michel Dubois:
Sufficient conditions for the convergence of asynchronous iterations.
Parallel Computing 10(1): 83-92 (1989) |
1988 |
22 | | Christoph Scheurich,
Michel Dubois:
Dynamic Page Migration in Multiprocessors with Distributed Global Memory.
ICDCS 1988: 162-169 |
21 | | Christoph Scheurich,
Michel Dubois:
Concurrent Miss Resolution in Multiprocessor Caches.
ICPP (1) 1988: 118-125 |
20 | | Michel Dubois,
Jin-Chin Wang:
Shared Data Contention in a Cache Coherence Protocol.
ICPP (1) 1988: 146-155 |
19 | EE | Christoph Scheurich,
Michel Dubois:
The design of a lockup-free cache for high-performance multiprocessors.
SC 1988: 352-359 |
18 | | Michel Dubois,
Christoph Scheurich,
Faye A. Briggs:
Synchronization, Coherence, and Event Ordering in Multiprocessors.
IEEE Computer 21(2): 9-21 (1988) |
17 | | Michel Dubois:
Throughput Analysis of Cache-Based Multiprocessors with Multiple Buses.
IEEE Trans. Computers 37(1): 58-70 (1988) |
1987 |
16 | | Michel Dubois:
Effect of Invalidations on the Hit Ratio of Cache-Based Multiprocessors.
ICPP 1987: 255-257 |
15 | | Aydin Üresin,
Michel Dubois:
Asynchronous Relaxation of Non-Numerical Data.
ICPP 1987: 499-501 |
14 | | Christoph Scheurich,
Michel Dubois:
Correct Memory Operation of Cache-Based Multiprocessors.
ISCA 1987: 234-243 |
1986 |
13 | | Aydin Üresin,
Michel Dubois:
Generalized Asynchronous Iterations.
CONPAR 1986: 272-278 |
12 | | Michel Dubois,
Faye A. Briggs,
Indira Patil,
Meera Balakrishnan:
Trace-Driven Simulations of Parallel and Distributed Algorithms in Multiprocessors.
ICPP 1986: 909-916 |
11 | | Michel Dubois,
Christoph Scheurich,
Faye A. Briggs:
Memory Access Buffering in Multiprocessors.
ISCA 1986: 434-442 |
1985 |
10 | | Michel Dubois:
A Cache-Based Multiprocessor with High Efficiency.
ICPP 1985: 646-648 |
9 | | Michel Dubois:
A Cache-Based Multiprocessor with High Efficiency.
IEEE Trans. Computers 34(10): 968-972 (1985) |
1983 |
8 | | Faye A. Briggs,
Michel Dubois:
Effectiveness of Private Caches in Multiprocessor Systems with Parallel-Pipelined Memories.
IEEE Trans. Computers 32(1): 48-59 (1983) |
1982 |
7 | | Michel Dubois,
Faye A. Briggs:
An approximate analytical model for asynchronous processes in multiprocessors.
ICPP 1982: 290-297 |
6 | EE | Michel Dubois,
Faye A. Briggs:
Effects of cache coherency in multiprocessors.
ISCA 1982: 299-308 |
5 | | Michel Dubois,
Faye A. Briggs:
Effects of Cache Coherency in Multiprocessors.
IEEE Trans. Computers 31(11): 1083-1099 (1982) |
4 | | Michel Dubois,
Faye A. Briggs:
Performance of Synchronized Iterative Processes in Multiprocessor Systems.
IEEE Trans. Software Eng. 8(4): 419-431 (1982) |
1981 |
3 | | Michel Dubois,
Faye A. Briggs:
Efficient Interprocessor Communications for MIMD Multiprocessor Systems.
ISCA 1981: 187-196 |
2 | | Faye A. Briggs,
Michel Dubois,
Kai Hwang:
Throughout Analysis and Configuration Design of a Shared-Resource Multiprocessor System: PUMPS.
ISCA 1981: 67-80 |
1 | | Faye A. Briggs,
Michel Dubois:
Performance of Cache-Based Multiprocessors.
SIGMETRICS 1981: 181-190 |