Sciweavers

4302 search results - page 529 / 861
» Ambiguity as a resource for design
Sort
View
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
16 years 7 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
133
Voted
CHI
2009
ACM
16 years 7 months ago
mimir: a market-based real-time question and answer service
Community-based question and answer (Q&A) systems facilitate information exchange and enable the creation of reusable knowledge repositories. While these systems are growing i...
Gary Hsieh, Scott Counts
CHI
2009
ACM
16 years 7 months ago
WattBot: a residential electricity monitoring and feedback system
Electricity production emits carbon dioxide and other gases into the atmosphere, adversely influences global climate change, depletes limited natural resources, and negatively imp...
Dane Petersen, Jay Steele, Joe Wilkerson
PERCOM
2009
ACM
16 years 7 months ago
DTT: A Distributed Trust Toolkit for Pervasive Systems
Effective security mechanisms are essential to the widespread deployment of pervasive systems. Much of the research focus on security in pervasive computing has revolved around dis...
Brent Lagesse, Mohan Kumar, Justin Mazzola Paluska...
189
Voted
MOBISYS
2009
ACM
16 years 7 months ago
Fidelity-aware replication for mobile devices
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...
Kaushik Veeraraghavan, Venugopalan Ramasubramanian...