3387 search results - page 67 / 678 » Model-Checking for Real-Time Systems |
ISORC
2006
IEEE
14 years 3 months ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
ECRTS
2005
IEEE
14 years 3 months ago
2005
IEEE
Slowdown based on dynamic voltage scaling (DVS) provides the ability to perform an energy-delay tradeoff in the system. Non-preemptive scheduling becomes an integral part of syste...
RSP
2005
IEEE
14 years 3 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
SEW
2003
IEEE
14 years 2 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
WORDS
2002
IEEE
14 years 2 months 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...