ChenYiYun - Dissertation

About 22 item dissertation in line with ChenYiYun query results,the following is 1 to 50(Search took 0.020 seconds)

Certifying Assembly Programs Using a Control-flow-explicit Language,WangWei/University of Science and Technology of China,0/18
A Modular Approach on Building Certified Software System,GuoYu/University of Science and Technology of China,0/227
Improving Program Cache Performance by Program Analysis and Optimization,FuXiong/University of Science and Technology of China,4/390
Certifying Compilation in an Infrastructure for Developing Trustable Software,GeLin/University of Science and Technology of China,2/619
Authentication method based on the logical procedure in the development of High Confidence Software,XiangSen/University of Science and Technology of China,3/922
Certifying Concurrent Porgrams Using Transactional Memory,LiLong/University of Science and Technology of China,1/169
Proof-Carrying Garbage Collection,LinChunXiao/University of Science and Technology of China,1/81
The Study of Node Localization Algorithm in Wireless Sensor Networks,LiXin/University of Science and Technology of China,11/1147
A Pointer Logic for Safety Verification of Pointer Programs,HuaBaoJian/University of Science and Technology of China,0/141
Certifying the Safety of Assembly Pointer Programs,LiZhaoPeng/University of Science and Technology of China,0/163
Research on Code Obfuscation and Its Semantics,GaoYing/University of Science and Technology of China,6/231
Pointer Logic’s Extensions and Applications,WangZhiFang/University of Science and Technology of China,0/118
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic,WangZhenMing/University of Science and Technology of China,0/167
Verifying Parallel Programs Using Software Transactional Memory,LiYong/University of Science and Technology of China,0/98
Verification of Low-level Concurrent Code with Several Synchronization Mechanisms,FuMing/University of Science and Technology of China,0/93
Using formal methods to build secure threading mechanism,JiangXinYu/University of Science and Technology of China,0/46
A program verification tool design and implementation,ZhangZhiTian/University of Science and Technology of China,0/79
Analysis of Pointer Programs and Inference of Loop-Invariant Shape Graphs,LiuGang/University of Science and Technology of China,0/31
Verify with dynamic thread creation and exit multithreaded programs,WangHaiBo/University of Science and Technology of China,0/29
Researches on Two Important Topics of Certifying Compiler,FanDaWei/University of Science and Technology of China,0/42
A Method to Generate Assertion and Proof about Assembly Language Certifying Compiler,ZhangZhenZuo/University of Science and Technology of China,0/39
Proof Generation for Certifying Compiler,YangSiMin/University of Science and Technology of China,1/40