1521 search results - page 30 / 305 » On Sampled Semantics of Timed Systems |
181
click to vote
QEST
2006
IEEE
15 years 12 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
149
click to vote
SEUS
2008
IEEE
16 years 9 days ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
141
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
153
click to vote
ISORC
2009
IEEE
16 years 17 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
181
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...