9110 search results - page 390 / 1822 » Formally-Based Design Evaluation |
152
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
169
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The integration of four design attributes (componentcost, quality, function, and technology) streamlines product design by providing a multilateral view to designers that leads to...
141
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Despite increased knowledge about how Information and Communications Technologies (ICTs) are used to support religious and spiritual practices, designers know little about how to ...
160
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...
142
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
A latch-based timing analyzer is an essential tool for developing high-speed pipeline designs. As process variations increasingly influence the timing characteristics of DSM desi...