Font Size:
a
A
A
Keyword [Verification]
Result: 141 - 160 | Page: 8 of 10
141.
Research On Key Technologies Of Model-Driven System-Level Functional Verification For System-on-Chip
142.
Research On Formal Verification And QoS-aware Composition Methods For Web Services Composition
143.
Research On Key Technologies Of CC-NUMA Based Memory Architecture
144.
Research On The Key Technologies In The Security Event Management System
145.
Research On Agent-Based Modeling And Simulation Application For Autonomic Multi-Satellite Systems
146.
Research On The Methods And Key Techniques Of C~4ISR System Architure Verification Based On The CADM
147.
Certifying Concurrent Porgrams Using Transactional Memory
148.
Online Signature Verification Based On Multi-dimensional Force Information
149.
Research On Assertion Based Verification For Design Of Digital System
150.
Research On RTL-gate Equivalence Checking
151.
Equivalence Checking And Test Generation Using Boolean Satisfiability
152.
Researches On OPC Methods Applied In The UDSM IC Manufacture And Verification Flow
153.
Study On Design Of A Passive UHF RFID Transponder IC
154.
Text-Independent Speaker Verification Based On GMM And High-Level Information
155.
Research On The Formal Verification Of ASIP Architecture Level Design
156.
Research On Semantic Web Services Composition
157.
The Design And Implementation Of An Automated Theorem Prover Used For Pointer Logic
158.
Pointer Logic's Extensions And Applications
159.
Research On The Theory And Key Technologies Of Hydraulic Manifold Blocks Intelligent Verification System
160.
Research On Verification Of Secure Operating System Based On Model Checking
<<First
<Prev
Next>
Last>>
Jump to
