Time-Aware Abstractions in HybridSal
No abstract available.
Related papers
- HybridSAL Relational Abstracter CAV 2012
- CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering TACAS 2020
- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach TACAS 2019
- NUMA-aware scheduling and memory allocation for data-flow task-parallel applications PPoPP 2016
- Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems OOPSLA 2021
- Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers CC 2024
- KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework Onward! 2013
- WCET-aware static locking of instruction caches CGO 2012