1410 search results - page 169 / 282 » A Logic for Virtual Memory |
169
click to vote
HPCA
2001
IEEE
16 years 6 months ago
2001
IEEE
fipical translation lookaside buffers (TLBs)can map a far smaller region of memory than application footprints demand, and the cost of handling TLB misses therefore limits the per...
202
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Most general-purpose processors provide support for memory pages of large sizes, called superpages. Superpages enable each entry in the translation lookaside buffer (TLB) to map a...
145
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
154
click to vote
SBMF
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
189
click to vote
ICMCS
2008
IEEE
16 years 19 days ago
2008
IEEE
The efficient implementation of multimedia algorithms, for the ever increasing complexity of the specifications and the emergence of the new generation of processing platforms c...