The Future of Parallel Discrete Event Simulation.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016
The Stratix<sup>TM</sup> routing and logic architecture.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2003
A 100 MHz PLL Implemented on a 100K Gate Programmable Logic Device (Abstract).
Proceedings of the 1998 ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays, 1998
Artificial Life as a Tool for Biological Inquiry.
Artif. Life, 1994
The Symmetry Programming Language.
Proceedings of the 8th International Symposium on Parallel Processing, 1994
Virtual Time II: Storage Management in Conservative and Optimistic Systems.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990
A Basic Protocol for Routing Messages to Migrating Processes.
Proceedings of the International Conference on Parallel Processing, 1988
Optimized Virtual Time Synchronization.
Proceedings of the Computer Performance and Reliability, 1987
Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study Group.
SIGMOD Rec., 1986
An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
Proceedings of the International Conference on Parallel Processing, 1983
Verification Decidability of Presburger Array Programs.
J. ACM, 1980
Panel: Directions in Database Research.
Proceedings of the Third International Conference on Very Large Data Bases, 1977
Protection in the HYDRA Operating System.
Proceedings of the Fifth Symposium on Operating System Principles, 1975