An algorithm for exact bounds on the time separation of events in concurrent systems
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An approach to symbolic timing verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Synthesis of timed asynchronous circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Algorithms for interface timing verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specification and analysis of timing constraints in signal transition graphsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The design of an asynchronous MIPS R3000 microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experiments with a program timing tool based on source-level timing schemaComputer, 1991