9210 search results - page 296 / 1842 » Analyzing Real-Time Systems |
125
Voted
DMSN
2006
ACM
15 years 6 months ago
2006
ACM
Modern data centers have a large number of components that must be monitored, including servers, switches/routers, and environmental control systems. This paper describes InteMon,...
69
Voted
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
81
Voted
RTCSA
2009
IEEE
15 years 7 months ago
2009
IEEE
88
Voted
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
84
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...