TIMES - A Tool for Modelling and Implementation of Embedded Systems
Abstract elided by the publisher.
Related papers
- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems CAV 2001
- Low-cost deterministic C++ exceptions for embedded systems CC 2019
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- 42: programmable models of computation for a component-based approach to heterogeneous embedded systems GPCE 2007
- Synchron - An API and Runtime for Embedded Systems ECOOP 2022
- Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web ICFP 2011
- Language embedding and optimization in mython DLS 2009
- Optimizing the flash-RAM energy trade-off in deeply embedded systems CGO 2015