Sciweavers

1410 search results - page 150 / 282
» A Logic for Virtual Memory
Sort
View
ISLPED
2005
ACM
98views Hardware» more  ISLPED 2005»
15 years 10 months ago
Synonymous address compaction for energy reduction in data TLB
Modern processors can issue and execute multiple instructions per cycle, often performing multiple memory operations simultaneously. To reduce stalls due to resource conflicts, m...
Chinnakrishnan S. Ballapuram, Hsien-Hsin S. Lee, M...
PODS
2005
ACM
147views Database» more  PODS 2005»
16 years 4 months ago
Peer data exchange
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
Ariel Fuxman, Phokion G. Kolaitis, Renée J....
ISMAR
2009
IEEE
15 years 11 months ago
Physical-virtual tools for spatial augmented reality user interfaces
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
Michael R. Marner, Bruce H. Thomas, Christian Sand...
ECTEL
2006
Springer
15 years 8 months ago
A Document Reuse Tool for Communities of Practice
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...
Aida Boukottaya, Bernadette Charlier, Christine Va...
ASPLOS
2012
ACM
14 years 11 days ago
Providing safe, user space access to fast, solid state disks
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
Adrian M. Caulfield, Todor I. Mollov, Louis Alex E...