1105 search results - page 29 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
69
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
86
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
109
Voted
DSRT
2008
IEEE
15 years 9 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...
138
Voted
ECRTS
2006
IEEE
15 years 8 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 ...