A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
No abstract available.
DOI 10.1007/978-3-662-46663-6_4
Related papers
- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking CAV 2005
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Optimizing Parallel Programs with Explicit Synchronization PLDI 1995
- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL CAV 2021
- Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid OOPSLA 2023
- Compiler Optimizations for Eliminating Barrier Synchronization PPoPP 1995
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems TOPLAS 1984
- Techniques for efficient placement of synchronization primitives PPoPP 2009