Verifying concurrent algorithms on Weak Memory Models
Verifying concurrent algorithms on Weak Memory Models
验证弱内存模型上的并发算法
批准号：
EP/M017176/1
负责人：
Scott Owens
金额：
$36.44万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2015
资助国家：
英国
项目状态：
已结题
起止时间：
2015 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
Transactional Sapphire Lessons in High-Performance, On-the-fly Garbage Collection
高性能、动态垃圾收集中的事务性蓝宝石课程
高性能、动态垃圾收集中的事务性蓝宝石课程
DOI：
10.1145/3226225
发表时间：
2018
期刊：
ACM Transactions on Programming Languages and Systems
影响因子：
1.3
作者：
[Ugawa T]
通讯作者：
Ugawa T
DOI：
10.1145/2851141.2851150
发表时间：
2016-02
期刊：
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
影响因子：
--
作者：
[Carl G. Ritson;Scott Owens]
通讯作者：
Carl G. Ritson;Scott Owens
Verifiably Correct Transactional Memory
-
批准号：EP/R032971/1
-
项目类别：Research Grant
-
资助金额：$10.56万
-
财政年份：2018
-
负责人：Scott Owens
-
依托单位：
Relaxed Memory Model Design for Theory and Practice
-
批准号：EP/K040561/1
-
项目类别：Research Grant
-
资助金额：$12.56万
-
财政年份：2014
-
负责人：Scott Owens
-
依托单位：
国内基金
海外基金
VLSI并发式(CONCURRENT)阵列声纳信号处理系统
-
批准号：68880207
-
项目类别：专项基金项目
-
资助金额：3.0万元
-
批准年份：1988
-
负责人：马远良
-
依托单位：
