High-level formal programming languages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designer "overspecifies" the system). In this paper, we propose an extension of synchronous dataflow languages where the designer can specify that he does not care whether some communication is immediate or delayed. It is then up to the compiler to choose where to introduce delays, in a way that breaks causality cycles and satisfies latency requirements imposed on the system. © Springer-Verlag 2012.
CITATION STYLE
Wyss, R., Boniol, F., Forget, J., & Pagetti, C. (2012). A synchronous language with partial delay specification for real-time systems programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7705 LNCS, pp. 223–238). https://doi.org/10.1007/978-3-642-35182-2_16
Mendeley helps you to discover research relevant for your work.