Verifiably Correct Transactional Memory
Verifiably Correct Transactional Memory
可验证正确的事务内存
批准号：
EP/R032971/1
负责人：
Scott Owens
金额：
$10.56万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2018
资助国家：
英国
项目状态：
已结题
起止时间：
2018 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies
具有宽松依赖性的C11程序的机械化操作推理
具有宽松依赖性的C11程序的机械化操作推理
DOI：
10.1145/3580285
发表时间：
2023
期刊：
Formal Aspects of Computing
影响因子：
1
作者：
[Wright D]
通讯作者：
Wright D
DOI：
10.1145/3498716
发表时间：
2022-01
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[A. Jeffrey;James Riely;Mark Batty;Simon Cooksey;Ilya Kaysin;A. Podkopaev]
通讯作者：
A. Jeffrey;James Riely;Mark Batty;Simon Cooksey;Ilya Kaysin;A. Podkopaev
Molecule generation toward target protein (SARS-CoV-2) using reinforcement learning-based graph neural network via knowledge graph.
通过知识图使用基于强化学习的图神经网络生成目标蛋白 (SARS-CoV-2) 的分子。
通过知识图使用基于强化学习的图神经网络生成目标蛋白 (SARS-CoV-2) 的分子。
DOI：
10.1007/978-3-030-90870-6_13
发表时间：
2023
期刊：
Network modeling and analysis in health informatics and bioinformatics
影响因子：
2.3
作者：
[Ranjan A]
通讯作者：
Ranjan A
Verifying concurrent algorithms on Weak Memory Models
-
批准号：EP/M017176/1
-
项目类别：Research Grant
-
资助金额：$36.44万
-
财政年份：2015
-
负责人：Scott Owens
-
依托单位：
Relaxed Memory Model Design for Theory and Practice
-
批准号：EP/K040561/1
-
项目类别：Research Grant
-
资助金额：$12.56万
-
财政年份：2014
-
负责人：Scott Owens
-
依托单位：
海外基金
