Delay Analysis in Synchronous Programs
No abstract available.
Related papers
- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming APLAS 2012
- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL CAV 2021
- Predictive Analysis of a Wavefront Application using LogGP PPoPP 1999
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Efficient and Correct Execution of Parallel Programs that Share Memory TOPLAS 1988
- Delay-bounded scheduling POPL 2011
- Statically bounded-memory delayed sampling for probabilistic streams OOPSLA 2021
- Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs CGO 2009