Schedulability Analysis Using Two Clocks
No abstract available.
Related papers
- May-happen-in-parallel analysis with static vector clocks CGO 2018
- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach ESOP 2018
- Model Checking Probabilistic Timed Automata with One or Two Clocks TACAS 2007
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001
- Efficient Timed Reachability Analysis Using Clock Difference Diagrams CAV 1999
- Compile-Time Analysis and Specialization of Clocks in Concurrent Programs CC 2009
- The Embedded Machine: Predictable, Portable Real-Time Code PLDI 2002
- Secure Information Flow in a Multi-Threaded Imperative Language POPL 1998