Computing Accumulated Delays in Real-time Systems
No abstract available.
Related papers
- Minimum and Maximum Delay Problems in Real-Time Systems CAV 1991
- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming APLAS 2012
- Manipulating accumulative functions by swapping call-time and return-time computations JFP 2012
- Lazy Computation with Exact Real Numbers ICFP 1998
- Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language POPL 1987
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Predicting bounds on queuing delay for batch-scheduled parallel machines PPoPP 2006