571 search results - page 32 / 115 » Performing causality analysis by bounded model checking |
126
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...
109
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
128
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
129
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...
150
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...