2746 search results - page 150 / 550 » Case Study in Survivable Network System Analysis |
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
SIGOPS
2010
14 years 8 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents how state consistency among distributed control nodes is maintained in the presence of faults. We analyze a fault tolerant semi-synchronous architecture concep...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper introduces video quality analysis for automated video capture and editing. Previously, we proposed an automated video capture and editing system for conversation scenes...
108
click to vote
RTSS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...