3130 search results - page 290 / 626 » Design Correctness of Digital Systems |
144
click to vote
SIGOPSE
2004
ACM
16 years 3 days ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We deļ¬ne three properties for accountable systems that extend beyond the basic secu...
186
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
175
click to vote
KBSE
2006
IEEE
16 years 21 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
161
Voted
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
171
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
The performance of an OCR system depends upon printing quality of the input document. Many OCRs have been designed which correctly identify fine printed documents in Indian and ot...