Font Size:
a
A
A
Keyword [verification]
Result: 181 - 200 | Page: 10 of 10
181.
Research On Dynamic Signature Verification With Parallel Computing On GPU
182.
Resilient False Data Detection Mechanisms In Wireless Sensor Networks
183.
Research On Automated Semantic Web Service Composition And Verification
184.
Research And Design Of Secure Run-time Mechanism For Embedded Processor
185.
The Research Of Partitioned Symbolic Execution Model And Its Environment Interaction Problem
186.
Privacy-protection Authentication Based On Fingerprint
187.
Research On Formal Verification Methods Of Security Protocols
188.
Some Symbolic Computation Issues In Program Verification And System Analysis
189.
Study On Program Verification Based On Symbolic Computation
190.
Reasearch On Functional Verification Method Of IP Cores And Embedded Processors For SoC
191.
Research On Acceleration Mechanisms Of Custom Instruction And Coprocessor
192.
Research On Formal Methods For Digital Circuit Verification Based On Polynomial Symbolic Algebra
193.
Verification Of Low-level Concurrent Code With Several Synchronization Mechanisms
194.
On The Verification Of Trusted And Autonomic Service Cooperation Systems
195.
Study On Topology Architecture And Communication Paradigm For Network-on-Chip
196.
Research On SAT-based Formal Verification Approach For Digital Circuits
197.
Formal Analysis And Construction For Internetware-based Software System
198.
Research On Software Test Effort Measurement In Enhancement Projects
199.
Potential Application Of RFID Technology In Intelligent Customs
200.
Methodologies For SOC Hw/sw Verification And FPGA Testing
<<First
<Prev
Next>
Last>>
Jump to
