The Sparse Synchronous Model | IEEE Conference Publication | IEEE Xplore

The Sparse Synchronous Model


Abstract:

We present the Sparse Synchronous model (SSM) of computation, which allows a programmer to specify software timing more precisely than the traditional “heartbeat” of main...Show More

Abstract:

We present the Sparse Synchronous model (SSM) of computation, which allows a programmer to specify software timing more precisely than the traditional “heartbeat” of mainstream operating systems or the synchronous languages. SSM is a mix of semantics inspired by discrete event simulators and the synchronous languages designed to operate in resource-constrained environments such as microcontrollers. SSM provides precise timing prescriptions, concurrency, and determinism. We present SSM, its motivations, and details of a lightweight runtime system upon which a future language will be built.
Date of Conference: 15-17 September 2020
Date Added to IEEE Xplore: 03 November 2020
ISBN Information:
Print on Demand(PoD) ISSN: 1636-9874
Conference Location: Kiel, Germany

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.