2191 search results - page 138 / 439 » Improving the Efficiency of Non-Deterministic Computations |
118
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
120
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
122
Voted
DSN
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
104
Voted
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
In Mobile Ad Hoc Networks (MANETs), broadcasting is widely used to support many applications. Several adaptive broadcast schemes have been proposed to reduce the number of rebroadc...
107
Voted
TITS
2008
15 years 21 days ago
2008
Abstract--This paper presents an efficient technique for estimating the pose of an onboard stereo vision system relative to the environment's dominant surface area, which is s...