319 search results - page 22 / 64 » Precise Dynamic Slicing Algorithms |
FATES
2006
Springer
13 years 11 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
ARITH
2007
IEEE
14 years 1 months ago
2007
IEEE
The compensated Horner algorithm improves the accuracy of polynomial evaluation in IEEE-754 floating point arithmetic: the computed result is as accurate as if it was computed wi...
VMV
2008
13 years 8 months ago
2008
Visualization of flow on boundary surfaces from computational flow dynamics (CFD) is challenging due to the complex, adaptive resolution nature of the meshes used in the modeling ...
FASE
2009
Springer
14 years 21 hour ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...