3425 search results - page 104 / 685 » A Model Driven Approach for Software Systems Reliability |
104
click to vote
PEPM
2009
ACM
16 years 9 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
236
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
125
Voted
UPP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
102
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...
107
Voted
ICPP
2007
IEEE
15 years 9 months ago
2007
IEEE
The productivity of HPC system is determined not only by their performance, but also by their reliability. The conventional method to limit the impact of failures is checkpointing...