1833 search results - page 251 / 367 » Mechanized Verification with Sharing |
146
click to vote
TABLETOP
2008
IEEE
16 years 24 days ago
2008
IEEE
The WeSpace is a long-term project dedicated to the creation of environments supporting walkup and share collaboration among small groups. The focus of our system design has been ...
186
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...
151
click to vote
MICRO
2006
IEEE
16 years 13 days ago
2006
IEEE
The large working sets of commercial and scientific workloads stress the L2 caches of Chip Multiprocessors (CMPs). Some CMPs use a shared L2 cache to maximize the on-chip cache c...
177
click to vote
WPES
2005
ACM
15 years 12 months ago
2005
ACM
Radio Frequency Identification (RFID) technology raises significant privacy issues because it enables tracking of items and people possibly without their knowledge or consent. O...
174
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
Camera phones have been viewed simplistically as digital cameras with poor picture quality while neglecting the utility of the two key functionalities of mobile phones: network co...