A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Synchronization of periodic clocks
2005
Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous programming model extended with domain-specific knowledge -periodic evolution of streams -to allow correct-by-construction properties of the application to be proven by the compiler. These properties include buffer requirements and delays between input and output streams. Such properties are tedious to analyze by hand,
doi:10.1145/1086228.1086289
dblp:conf/emsoft/CohenDEPPP05
fatcat:mfnlbkwiavaojfzc345oxmlyvy