3169 search results - page 146 / 634 » Robust Timed Automata |
134
Voted
ICST
2009
IEEE
15 years 9 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...
123
click to vote
BIRTHDAY
2010
Springer
15 years 7 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...
136
click to vote
CDC
2009
IEEE
15 years 12 days 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-...
93
Voted
ISSRE
2007
IEEE
15 years 4 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...
112
Voted
TWC
2008
15 years 2 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...