Font Size:
a
A
A
Keyword [Certifying]
Result: 1 - 14 | Page: 1 of 1
1.
Certifying Compilation In An Infrastructure For Developing Trustable Software
2.
Certifying The Safety Of Assembly Pointer Programs
3.
Certifying Concurrent Porgrams Using Transactional Memory
4.
The Design And Implementation Of An Automated Theorem Prover Used For Pointer Logic
5.
Certifying Assembly Programs Using A Control-flow-explicit Language
6.
Research On Simulation And Performance Evaluation Of Data Communication Based Network Architecture
7.
Proof Generation For Certifying Compiler
8.
A Method To Generate Assertion And Proof About Assembly Language Certifying Compiler
9.
Researches On Two Important Topics Of Certifying Compiler
10.
Research And Realization Of The Campus Network Authentication System
11.
Research On Key Technique Of Self-Certifying DNS Root Zone
12.
A vulnerability modeling approach for certifying security in components for e-commerce
13.
Certifying compilation for standard ML in a type analysis framework
14.
A type system for certified runtime type analysis
<<First
<Prev Next>
Last>>
Jump to
