328 search results - page 32 / 66 » Synthesis of Fault-Tolerant Embedded Systems |
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
CSREAESA
2006
13 years 9 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
RTCSA
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Supporting uninterrupted services for distributed soft real-time applications is hard in resource-constrained and dynamic environments, where processor or process failures and sys...