2488 search results - page 284 / 498 » An improvement in formal verification |
126
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
105
click to vote
ISPW
2005
IEEE
15 years 7 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
138
click to vote
IWANN
2005
Springer
15 years 7 months ago
2005
Springer
Face recognition is one of the most important image processing research topics which is widely used in personal identification, verification and security applications. In this pape...
79
Voted
RE
2004
Springer
15 years 7 months ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
ITNG
2010
IEEE
15 years 6 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...