970 search results - page 46 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
ICDAR
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper describes a document image analysis system using multiple agents working on a pyramid structure to separate text from graphics in the image. Text strings appear as diff...
SCIA
2011
Springer
12 years 10 months ago
2011
Springer
We present a non-incremental approach to structure from motion. Our solution is based on robustly computing global rotations from relative geometries and feeding these into the kno...
EUROIMSA
2006
13 years 9 months ago
2006
Sports analysis has recently become popular in research and professional applications. This paper presents a scheme for automatic sports video analysis based on audio clues and sp...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...