3130 search results - page 85 / 626 » Design Correctness of Digital Systems |
150
click to vote
MICRO
1999
IEEE
15 years 10 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 ...
141
click to vote
ICPR
2000
IEEE
15 years 10 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...
172
click to vote
VLSID
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
178
click to vote
JCDL
2005
ACM
15 years 12 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...
178
click to vote
DIGITALCITIES
2000
Springer
15 years 10 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'...