951 search results - page 83 / 191 » Hardware design experiences in ZebraNet |
TEI
2009
ACM
14 years 4 months ago
2009
ACM
Many research efforts today explore how digitally augmented tables enable face-to-face interaction with digital content and applications. Yet the design of digital tables is still...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-l...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—With wide applicability of flash memory in various application domains, reliability has become a very critical issue. This research is motivated by the needs to resolve the lif...
ISCA
1998
IEEE
14 years 2 months ago
1998
IEEE
Commercial applications such as databases and Web servers constitute the largest and fastest-growing segment of the market for multiprocessor servers. Ongoing innovations in disk ...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...