A Period Assignment Algorithm for Real-Time System Design
Abstract elided by the publisher.
Related papers
- Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation OOPSLA 2022
- Static Race Detection for Periodic Programs ESOP 2022
- The Design and Performance of a Hard Real-Time Object Event Service OOPSLA 1997
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Object-Oriented Real-Time Language Design: Constructs for Timing Constraints OOPSLA 1990
- The Development of Erlang ICFP 1997
- Adaptive low-overhead scheduling for periodic and reactive intermittent execution PLDI 2020
- A Model Parametric Real-Time Logic TOPLAS 1992