3387 search results - page 77 / 678 » Model-Checking for Real-Time Systems |
221
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
166
click to vote
EUC
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
170
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...
160
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
157
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present two classes of distributed algorithms called DRBA and DOBA, for decentralized, proactive resource allocation in asynchronous real-time distributed systems. The objectiv...