1407 search results - page 71 / 282 » Using Use Cases in Executable Z |
139
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
124
click to vote
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— Various mechanisms for fault-tolerance (FT) are used today in order to reduce the impact of failures on application execution. In the case of system failure, standard FT mechan...
149
click to vote
SDM
2008
SIAM
15 years 5 months ago
2008
SIAM
In this paper we present the Dynamic Grow-Shrink Inference-based Markov network learning algorithm (abbreviated DGSIMN), which improves on GSIMN, the state-ofthe-art algorithm for...
133
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
149
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...