"Verification algorithms" trang 1 - tải miễn phí từ tailieunhanh
A verification framework for specification centered developments

A verification framework for specification centered developments
12    62    3
Standardized Functional Verification

Standardized Functional Verification
289    57    0
A practical guide to adopting the universal verification methodology

A practical guide to adopting the universal verification methodology
296    88    1
On locally strongest assumption generation method for component based software verification

On locally strongest assumption generation method for component based software verification
17    112    0
Comparison of knife-edge and multi-slit camera for proton beam range verification by Monte Carlo simulation

Comparison of knife-edge and multi-slit camera for proton beam range verification by Monte Carlo simulation
6    98    0
Forecast verification analysis of rainfall for southern districts of Tamil Nadu, India

Forecast verification analysis of rainfall for southern districts of Tamil Nadu, India
8    70    1
A verification framework for specification centered developments

A verification framework for specification centered developments
12    29    1
Verification and validation of STREAM/RAST-K for PWR analysis

Verification and validation of STREAM/RAST-K for PWR analysis
13    85    0
Multiparty verification in image secret sharing

Multiparty verification in image secret sharing
16    71    3
THE ROLE OF UNIVERSITIES IN REGIONAL INNOVATION SYSTEMS - A NORDIC PERSPECTIVE

THE ROLE OF UNIVERSITIES IN REGIONAL INNOVATION SYSTEMS - A NORDIC PERSPECTIVE
180    69    0
Báo cáo

Báo cáo " Verification of hazard, race and deadlock in GALS-circuit "
4    51    0
Cryptographic Security Architecture: Design and Verification

Cryptographic Security Architecture: Design and Verification
303    70    0
Báo cáo khoa học:

Báo cáo khoa học: "Linguistic Profiling for Author Recognition and Verification"
8    45    0
Báo cáo khoa học:

Báo cáo khoa học: "Extraction and Verification of KO-OU Expressions from Large Corpora"
4    54    0
Báo cáo khoa học:

Báo cáo khoa học: "A semantically-derived subset of English for hardware verification"
6    77    0
Báo cáo khoa học:

Báo cáo khoa học: "TOWARDS AN INTEGRATED ENVIRONMENT FOR SPANISH DOCUMENT VERIFICATION AND COMPOSITION"
4    77    0
Bài giảng Kiểm chứng, thẩm định và kiểm thử (verification, validation, and testing)

Bài giảng Kiểm chứng, thẩm định và kiểm thử (verification, validation, and testing)
56    119    1
Construction, verification of a software for the 2D dam-break flow and some its applications

Construction, verification of a software for the 2D dam-break flow and some its applications
12    92    0
Metal fuel development and verification for prototype generation IV sodium-cooled fast reactor

Metal fuel development and verification for prototype generation IV sodium-cooled fast reactor
13    73    0
On the safety and performance demonstration tests of prototype Gen-IV sodium cooled fast reactor and validation and verification of computational codes

On the safety and performance demonstration tests of prototype Gen-IV sodium cooled fast reactor and validation and verification of computational codes
13    83    0