6608 search results - page 965 / 1322 » On the Completeness of Model Checking |
163
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
172
click to vote
MTDT
2000
IEEE
15 years 11 months ago
2000
IEEE
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
148
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
148
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
153
click to vote
ISWC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes non-ideal properties of batteries and how these properties may impact power-performance trade-offs in wearable computing. The first part of the paper details ...