1022 search results - page 67 / 205 » The Modelling of Embedded Systems Using HASoC |
144
Voted
ECRTS
2009
IEEE
15 years 5 days ago
2009
IEEE
Some applications for real-time scheduling have target demands in addition to the commonly used starttime and deadline constraints: a task should be executed at a target point in ...
114
Voted
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
130
Voted
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
119
Voted
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
133
Voted
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...