3387 search results - page 71 / 678 » Model-Checking for Real-Time Systems |
UML
2004
Springer
14 years 3 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
ECRTS
2008
IEEE
14 years 4 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
MUE
2008
IEEE
14 years 4 months ago
2008
IEEE
The capability of providing real-time multimedia player over the Internet is an important future application for embedded system. However, the main challenge of such an applicatio...
SEUS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. Accurate real-time monitoring of structural health can result in significant safety improvements, while providing data that can be used to improve design and constructio...