3130 search results - page 4 / 626 » Design Correctness of Digital Systems |
CAV
1999
Springer
15 years 1 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
15 years 1 months ago
1993
IEEE
DATE
1999
IEEE
15 years 1 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...
89
Voted
ICSE
2005
IEEE-ACM
15 years 9 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
15 years 2 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...