Font Size:
a
A
A
Keyword [program]
Result: 61 - 80 | Page: 4 of 10
61.
Application And Study Of Genetic Algorithm In Program Evaluation And Review Technique
62.
Constraint Based Prolog Semantics And Its Applications In The Testing, Analysis And Verification Of Prolog Programs
63.
Study On Flexible Access Control
64.
Research On Code Obfuscation And Its Semantics
65.
Research On The Efficient Thread-level Speculation And Transactional Execution Model On Multi-core Platform
66.
Certifying The Safety Of Assembly Pointer Programs
67.
A Pointer Logic For Safety Verification Of Pointer Programs
68.
Study On The Key Technologies Of Thread-Level Speculation On Multi-core Platform
69.
Proof-Carrying Garbage Collection
70.
Single Event Effect Detection And Mitigation Techniques For Spaceborne Signal Processing Platform
71.
Research And Application Of Key Technologies Of Distributed Monitoring System In Internet Environment
72.
Partial Evaluation For Xquery Language
73.
The Design And Implementation Of An Automated Theorem Prover Used For Pointer Logic
74.
Pointer Logic's Extensions And Applications
75.
Research On The Development History Of China's TV News Programs (1958-2008)
76.
Research On The Presenter Image Propagation Of A Television Program
77.
Research On Static Analysis Of Memory Errors In C Programs
78.
Research On Program Execution Model Based On Runtime
79.
Computation Model And Performance Optimization On Shared Memory Architecture
80.
Automatic TV Program Segmentation And Similar Video Retrieval
<<First
<Prev
Next>
Last>>
Jump to
