1179 search results - page 23 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
121
click to vote
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
105
click to vote
HYBRID
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
137
click to vote
ICFEM
1997
Springer
15 years 5 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
113
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
166
Voted
SIES
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...