1980 search results - page 238 / 396 » Compositional Model Checking of Real Time Systems |
123
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
130
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
107
Voted
MASCOTS
2004
15 years 4 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
139
Voted
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
149
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...