4930 search results - page 862 / 986 » Testing a Safety-Critical Application |
170
click to vote
HPCA
2007
IEEE
16 years 6 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...
177
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
187
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
185
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
This work is about a novel methodology for window detection in urban environments and its multiple use in vision system applications. The presented method for window detection inc...
199
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...