ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes
Communicating sequential processes
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
A Partial Scan Method for Sequential Circuits with Feedback
IEEE Transactions on Computers
Programming in VLSI: from communicating processes to delay-insensitive circuits
Developments in concurrency and communication
Performance analysis and optimization of asynchronous circuits
Performance analysis and optimization of asynchronous circuits
Heuristic minimization of BDDs using don't cares
DAC '94 Proceedings of the 31st annual Design Automation Conference
Algebraic decision diagrams and their applications
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
Symbolic Model Checking
Asynchronous Sequential Switching Circuit
Asynchronous Sequential Switching Circuit
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Pausible Clocking: A First Step Toward Heterogeneous Systems
ICCD '96 Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
Synthesis of 3D Asynchronous State Machines
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Performance Analysis and Optimization of Asynchronous Circuits
ICCS '94 Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
A Graph Theoretic Approach to Partial Scan Design by K-Cycle Elimination
Proceedings of the IEEE International Test Conference on Discover the New World of Test and Design
Verification of Timed Systems Using POSETs
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
ASYNC '97 Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems
ASYNC '97 Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Response Time Properties of Some Asynchronous Circuits
ASYNC '97 Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Asynchronous Circuits: An Increasingly Practical Design Solution
ISQED '02 Proceedings of the 3rd International Symposium on Quality Electronic Design
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Performance analysis of asynchronous circuits and systems
Performance analysis of asynchronous circuits and systems
A formal approach to designing delay-insensitive circuits
Distributed Computing
Anomalous Behavior of Synchronizer and Arbiter Circuits
IEEE Transactions on Computers
Markovian analysis of large finite state machines
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Efficient state classification of finite-state Markov chains
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Accelerating Markovian analysis of asynchronous systems using state compression
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.01 |