3130 search results - page 319 / 626 » Design Correctness of Digital Systems |
183
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Microfluidic biochips promise to revolutionize biosensing and clinical diagnostics. As more bioassays are executed concurrently on a biochip, system integration and design complex...
187
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Online privacy is an increasingly important problem, as many services are now offered in a digital form. Privacy (or the lack thereof) is of a special concern in subscriptions to ...
191
click to vote
SIPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
173
click to vote
ECCC
2007
15 years 6 months ago
2007
Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain con...
143
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Modern medical imaging systems often rely on complicated hardware and sophisticated algorithms to produce useful digital images. It is essential that the imaging hardware and any ...