358 search results - page 39 / 72 » Model-Based Specification and Execution of Embedded Real-Tim... |
112
click to vote
CODES
2006
IEEE
15 years 2 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
92
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
102
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
98
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
ECRTS
2005
IEEE
15 years 6 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...