2957 search results - page 290 / 592 » Processing Self Corrections |
178
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
222
click to vote
HPCA
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...
144
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
The incremental, “construct by correction” design methodology has become widespread in constraint-dominated DSM design. We study the problem of ECO for physical design domains...
132
click to vote
CBMS
1998
IEEE
15 years 11 months ago
1998
IEEE
An OCR system chosen for its high recognition rate and low percent of false positives also assigns low confidence values to many characters that are actually correct. Human operat...
139
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...