1980 search results - page 50 / 396 » Compositional Model Checking of Real Time Systems |
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
109
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
102
click to vote
EUC
2004
Springer
15 years 5 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...
WORDS
2002
IEEE
15 years 4 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
140
click to vote
PATMOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...