1105 search results - page 29 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
DAGSTUHL
2007
13 years 10 months ago
2007
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
ANSS
2008
IEEE
14 years 3 months ago
2008
IEEE
ECRTS
2006
IEEE
14 years 2 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...