5159 search results - page 425 / 1032 » Structural Testing of Executables |
214
Voted
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
206
click to vote
ASPLOS
2004
ACM
16 years 1 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
205
click to vote
SC
2003
ACM
16 years 25 days ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
215
click to vote
CHARME
2003
Springer
16 years 24 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
194
click to vote
HAPTICS
2002
IEEE
16 years 16 days ago
2002
IEEE
This study explores the effects of haptic feedback on performance and learning by human subjects executing a dynamic task. We present the results of experiments involving the cont...