Font Size:
a
A
A
Keyword [Proof-Carrying Code]
Result: 1 - 7 | Page: 1 of 1
1.
A Modular Approach On Building Certified Software System
2.
Proof-Carrying Garbage Collection
3.
Certifying Concurrent Porgrams Using Transactional Memory
4.
A Formal Approach To Build Safe Threading Machanisms
5.
A Method To Generate Assertion And Proof About Assembly Language Certifying Compiler
6.
Combining reason and authority for authorization of proof-carrying code
7.
A compositional logic for control flow and its application in foundational proof-carrying code
<<First
<Prev Next>
Last>>
Jump to
