1410 search results - page 135 / 282 » A Logic for Virtual Memory |
157
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
138
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
The problem of finding unusual time series has recently attracted much attention, and several promising methods are now in the literature. However, virtually all proposed methods...
129
click to vote
HPCA
1996
IEEE
15 years 8 months ago
1996
IEEE
Traditional DMA requires the operating system to perform many tasks to initiate a transfer, with overhead on the order of hundreds or thousands of CPU instructions. This paper des...
149
Voted
ICA3PP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the thread migration mechanism of DSM-PEPE, a multithreaded distributed shared memory system. DSM systems like DSM-PEPE provide a parallel environment to h...
140
Voted
VCIP
2000
15 years 5 months ago
2000
The concentric mosaics offer a quick solution to the construction and navigation of a virtual environment. To reduce the vast data amount of the concentric mosaics, a compression ...