1678 search results - page 174 / 336 » An ASM Specification of C |
179
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
153
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
In this work, we study the security of public WLAN-based positioning systems. Specifically, we investigate the Skyhook positioning system, available on PCs and used on a number of...
152
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We studied files stored by members of a work organization for patterns of social commonality. Discovering identical or similar documents, applications, developer libraries, or oth...
158
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents the design, implementation and validation of an enhanced mobile phone messaging system (DeDe), allowing the sender to define the context in which the message w...
144
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
As part of a focus on electronic publications, we undertook an exploratory study of how people saved and used the information they encountered while reading. In particular, we wan...