3394 search results - page 230 / 679 » A Modal Model of Memory |
145
click to vote
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a novel disk-based multiresolution triangle mesh data structure that supports paging and view-dependent rendering of very large meshes at interactive frame rates from e...
173
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
186
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
158
click to vote
MICRO
2010
IEEE
15 years 4 days ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
142
Voted
EUROPAR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...