Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Relative scheduling under timing constraints
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Representing circuits more efficiently in symbolic model checking
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
High-level synthesis: introduction to chip and system design
High-level synthesis: introduction to chip and system design
Validating discrete event simulations using event pattern mappings
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Hardware Design and Simulation in Val-VHDL
Hardware Design and Simulation in Val-VHDL
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Hi-index | 0.00 |