275 search results - page 5 / 55 » Performance Re-engineering of Embedded Real-Time Systems |
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
HICSS
1998
IEEE
13 years 11 months ago
1998
IEEE
The last several years saw an emergence of standardization activities for real-time systems including standardization of operating systems series of POSIX standards 1 , of communi...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
VLSISP
2008
13 years 7 months ago
2008
This paper presents the design of an embedded automated digital video surveillance system with real-time performance. Hardware accelerators for video segmentation, morphological op...
WORDS
2002
IEEE
14 years 9 days ago
2002
IEEE
Developers of mission-critical distributed real-time and embedded (DRE) systems face a fundamental tension between (1) the performance gains achievable with hand-crafted optimizat...