Dissertation 

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

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

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile