3130 search results - page 4 / 626 » Design Correctness of Digital Systems |
113
Voted
CAV
1999
Springer
15 years 9 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...
109
Voted
ISCAS
1993
IEEE
15 years 9 months ago
1993
IEEE
139
Voted
DATE
1999
IEEE
15 years 9 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...
157
click to vote
ICSE
2005
IEEE-ACM
16 years 5 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...
172
Voted
ICICS
2003
Springer
15 years 10 months 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...