Performance analysis and optimization of asynchronous circuits
Performance analysis and optimization of asynchronous circuits
Optimization of linear max-plus systems with application to timing analysis
Optimization of linear max-plus systems with application to timing analysis
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Efficient Algorithms for Interface Timing Verification
Formal Methods in System Design
Model checking
A Time Redundancy Approach to TMR Failures Using Fault-State Likelihoods
IEEE Transactions on Computers
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Algorithms for Interface Timing Verification
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Conditions for the structural existence of an eigenvalue of a bipartite (min, max, +)-system
Theoretical Computer Science
Polynomial-time techniques for approximate timing analysis of asynchronous systems
Polynomial-time techniques for approximate timing analysis of asynchronous systems
| Hi-index | 5.23 |
The analysis of the time separations of events is a fundamental problem in the design and evaluation of discrete event systems. Important progresses have been made based on the event rule system model in the last decade. The existing results for event rule systems with min and max constraints can be summarized briefly as: the exact evaluation of time separations for acyclic systems is NP-complete; for cyclic systems, the structural condition of being tightly coupled is sufficient for long-term time separations of events to be bounded. In this paper, we establish a necessary and sufficient structural boundedness condition-uniformity for cyclic event rule systems with both min and max constraints. Tightly coupled systems are shown to be a special class of uniform systems. The well-known CAS algorithm for finding bounds on long-term time separations is adapted to find finite bounds for uniform systems. Our results are obtained by exploring the algebraic structures guiding the evolution of the systems.