1714 search results - page 91 / 343 » Abstract Models of Memory Management |
130
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...
128
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
112
click to vote
CLUSTER
2007
IEEE
15 years 9 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
118
click to vote
WOWMOM
2009
ACM
15 years 7 months ago
2009
ACM
abstract Opening Remarks (9.00 – 9.15) Paul Lukowicz Keynote Lecture (9.15 – 10.15) Wearable Physiological Sensing Systems: Issues and Trade-offs in Real World Deployments Pres...