3130 search results - page 4 / 626 » Design Correctness of Digital Systems |
CAV
1999
Springer
13 years 11 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
ISCAS
1993
IEEE
13 years 11 months ago
1993
IEEE
DATE
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper, we consider the problem of maximizing the battery life (or duration of service) in battery-powered CMOS circuits. We first show that the battery efficiency (or utili...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
ICICS
2003
Springer
14 years 21 days ago
2003
Springer
In this paper, a digital video watermarking algorithm is proposed. We present a novel DWT-based blind digital video watermarking scheme with scrambled watermark and error correctin...