3169 search results - page 146 / 634 » Robust Timed Automata |
173
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
176
click to vote
BIRTHDAY
2010
Springer
15 years 11 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
186
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
141
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...
170
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--In this paper, we propose a robust STBC transmission scheme to combat timing synchronization errors over frequency-selective multiple-access channels. We start by derivin...