4184 search results - page 327 / 837 » Names of Our Lives |
181
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
This paper documents a first attempt at "designing for the self", an approach to designing products intended to help people move closer to their idealized sense of self a...
205
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
215
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
200
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
193
click to vote
USENIX
2008
15 years 9 months ago
2008
zation is a well-known method of abstracting physical resources and of separating the manipulation and use of logical resources from their underlying implementation. We have used ...