3130 search results - page 85 / 626 » Design Correctness of Digital Systems |
120
Voted
MICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
104
Voted
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
An effective image reproduction pipeline, spanning image capture, processing and display, must be designed to account for the properties of the human observer. In designing an ima...
136
Voted
VLSID
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
139
Voted
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
The Digital Anthropology Resources for Teaching (DART) project integrates the content acquisition and cataloging initiatives of a federated digital repository with the development...
134
Voted
DIGITALCITIES
2000
Springer
15 years 7 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...