134 search results - page 14 / 27 » Complexity Management for Composable Real-Time Systems |
121
click to vote
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
129
click to vote
FCCM
2005
IEEE
15 years 7 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
135
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
127
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
CIDR
2009
15 years 2 months ago
2009
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...