610 search results - page 1 / 122 » Synchronous Programming of Reactive Systems |
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
CAV
1998
Springer
13 years 9 months ago
1998
Springer
ICTAC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...