位置：成果数据库 > 会议 > 会议详情页
面向多核处理器的低级并行程序验证
  • 所属机构名称：清华大学
  • 会议名称：全国软件与应用学术会议论文集，p282-287，2008. 推荐至《电子学报》（已录用）.朱允敏，张丽伟，王生原，董渊，张素琴
  • 成果类型：会议
  • 相关项目：用于目标机描述的元对象Petri网模型
同会议论文项目
用于目标机描述的元对象Petri网模型
期刊论文 11 会议论文 8
同项目会议论文
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.
Verification of Concurrent Assembly Programs with a Petri Net based Safety Policy
Certifying low-level programs with hardware interrupts and preemptive threads
Retargeting the Open64 Compiler to PowerPC Processor
A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets
一种基于Renew的有色网元对象协议的设计与实现（Design and Implementation of a MetaObject Protocol on Colored Petri Net bas
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems