| 1994 |
|---|
| 8 | | Ramin Hojati,
Robert B. Mueller-Thuns,
Robert K. Brayton:
Improving Language Containment Using Fairness Graphs.
CAV 1994: 391-403 |
| 1993 |
|---|
| 7 | EE | Robert B. Mueller-Thuns,
Daniel G. Saab,
Robert F. Damiano,
Jacob A. Abraham:
Benchmarking Parallel Processing Platforms: An Applications Perspective.
IEEE Trans. Parallel Distrib. Syst. 4(8): 947-954 (1993) |
| 6 | EE | Robert B. Mueller-Thuns,
Daniel G. Saab,
Robert F. Damiano,
Jacob A. Abraham:
VLSI logic and fault simulation on general-purpose parallel computers.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(3): 446-460 (1993) |
| 1990 |
|---|
| 5 | | David Blaauw,
Robert B. Mueller-Thuns,
Daniel G. Saab,
Prithviraj Banerjee,
Jacob A. Abraham:
SNEL: A Switch-Level Simulator Using Multiple Levels of Functional Abstraction.
ICCAD 1990: 66-69 |
| 4 | EE | Robert B. Mueller-Thuns,
Daniel G. Saab,
Jacob A. Abraham:
Design of a scalable parallel switch-level simulator for VLSI.
SC 1990: 615-624 |
| 3 | EE | Daniel G. Saab,
Robert B. Mueller-Thuns,
David Blaauw,
Joseph T. Rahmeh,
Jacob A. Abraham:
Hierarchical multi-level fault simulation of large systems.
J. Electronic Testing 1(2): 139-149 (1990) |
| 1989 |
|---|
| 2 | EE | David Blaauw,
Daniel G. Saab,
Robert B. Mueller-Thuns,
Jacob A. Abraham,
Joseph T. Rahmeh:
Automatic Generation of Behavioral Models from Switch-Level Descriptions.
DAC 1989: 179-184 |
| 1 | | Robert B. Mueller-Thuns,
David McFarland,
Prithviraj Banerjee:
Algorithm-Based Fault Tolerance for Adaptive Least Squares Lattice Filtering on a Hypercube Multiprocessor.
ICPP (3) 1989: 177-180 |
