TACAS11: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
来源:互联网 发布:扇贝mac版 编辑:程序博客网 时间:2024/06/05 06:59
Yet another paper that foucs on verifying the correctness of program on relaxed memory paper.
This topic is useful and intereseting, but it is already over-developed, and I dont want to dive into it.
May be some day I will return to it.
BTW: recently there is a trend that verifies checker and monitors instead of the original program. Please refer to CAV11: Verification of Certifying Computations
- TACAS11: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
- Linearizability and Sequential Consistency
- 内存一致性模型(Memory Consistency Models)
- Memory Consistency Models -- 内存一致性模型
- 内存一致性模型(Memory Consistency Models)
- 内存一致性模型(Memory Consistency Models)
- 内存一致性模型(Memory Consistency Models)
- Sequential consistency
- Discriminative Learning of Relaxed Hierarchy for Large-scale Visual Recognition
- Sequential Consistency浅谈
- TACAS11: Transition Invariants and Transition Predicate Abstraction for Program Termination
- Wiley - VERIFICATION AND VALIDATION FOR QUALITY OF UML 2.0 MODELS
- Verification and Validation for Quality of UML 2.0 Models
- Linux System and Performance Monitoring(Memory篇)
- Linux System and Performance Monitoring(Memory篇)
- oratop - Utility for Near Real-time Monitoring of Databases, RAC and Single Instance (Doc ID 1500864
- Monitoring and Diagnostics of CORBA Systems @ JDJ
- Rules of Thumb for Database Monitoring
- VS2010 C++ Debug 出现错误“Cannot find or open the PDB file”(续)
- Bellman-Ford求解单元最短路径
- JAVA中IP和整数相互转化介绍
- 写博客,也是一种人生的记录
- BoWTie(1)
- TACAS11: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
- GotoBlas2之xASUM
- 【转】删除无限嵌套文件夹的方法
- DELETE和TRUNCATE的区别
- tomcat 下的session 管理
- 学习VC++的计划
- 2011-06-22
- python学习1
- [StoryToolKit]关于Android游戏程序的一些优化经验