2703 search results - page 322 / 541 » Optimizing memory transactions |
146
click to vote
AMDO
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we present a novel, fast, resolution-independent silhouette area-based matching approach. We approximate the silhouette area by a small set of axis-aligned...
135
click to vote
AAAI
2004
15 years 5 months ago
2004
A pattern database is a heuristic function stored as a lookup table which stores the lengths of optimal solutions for instances of subproblems. All previous pattern databases had ...
138
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
167
click to vote
PSTV
1992
15 years 5 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
134
click to vote
DC
2007
15 years 4 months ago
2007
We present an adaptive algorithm for N-process mutual exclusion under read/write atomicity in which all busy waiting is by local spinning. In our algorithm, each process p perform...