Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | A shared memory algorithm and proof for the alternative construct in CSP | 1987 | Text | ir_uspace | |
2 | Design and evaluation of the rollback chip: special purpose hardware for time warp | 1988 | Text | ir_uspace | |
3 | Efficient instruction level simulation of computers | 1987 | Text | ir_uspace | |
4 | HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware Systems | 1988 | Text | ir_computersa | |
5 | Look ahead in Parallel Discrete Event Simulation | 1988-08 | Text | ir_computersa | |
6 | On synthesizing systolic arrays from recurrence equations with linear dependencies | 1986 | Text | ir_uspace | |
7 | Optimal performance of distributed simulation programs | 1987 | Text | ir_uspace | |
8 | Performance Directed Simulation | 1989-01-26 | Text | ir_computersa | |
9 | Performance measurements of distributed simulation strategies | 1987 | Text | ir_uspace | |
10 | The roll back chip: hardware support for distributed simulation using time warp | 1987 | Text | ir_uspace | |
11 | Systolic array synthesis by static analysis of program dependencies | 1986 | Text | ir_uspace |