278 search results - page 21 / 56 » A Phase-Based Approach to Creating Highly Reliable Software |
TCIAIG
2010
13 years 2 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...
BPM
2009
Springer
13 years 5 months ago
2009
Springer
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...