4666 search results - page 145 / 934 » Equations on Timed Languages |
153
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
150
click to vote
ENTCS
2006
15 years 5 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
162
click to vote
FORMATS
2009
Springer
15 years 12 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
138
click to vote
UM
2009
Springer
15 years 12 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
168
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...