1521 search results - page 103 / 305 » On Sampled Semantics of Timed Systems |
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
FORMATS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
LREC
2010
14 years 11 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
SDL
2001
14 years 11 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
116
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...