97 search results - page 13 / 20 » Towards a model of exploration in computer-aided design |
113
Voted
WSC
2007
15 years 2 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
105
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
101
Voted
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
RAS
2008
14 years 12 months ago
2008
Robot projects are often evolutionary dead ends, with the software and hardware they produce disappearing without trace afterwards. Common causes include dependencies on uncommon ...
100
Voted
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
A qualitative study was conducted to explore how subjects use social networking sites and instant messenger to engage in interpersonal relationships. The results were used to deve...