3243 search results - page 11 / 649 » Object Race Detection |
ICSM
2008
IEEE
14 years 1 months ago
2008
IEEE
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
OSDI
1996
ACM
13 years 8 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
ICSE
2010
IEEE-ACM
14 years 5 days ago
2010
IEEE-ACM
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...