课题基金 / 基金详情

Verifiably correct concurrency abstractions

Verifiably correct concurrency abstractions
可验证正确的并发抽象
批准号：
EP/R018936/1
负责人：
John Derrick
金额：
$2.18万
依托单位：
University of Sheffield
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2018
资助国家：
英国
项目状态：
已结题
起止时间：
2018 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FR018936%2F1
关键词：
Verifiablycorrectconcurrencyabstractions

项目摘要

项目成果

John Derrick的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
Modelling concurrent objects running on the TSO and ARMv8 memory models
DOI： 10.1016/j.scico.2019.102308
发表时间： 2019-10
期刊： Sci. Comput. Program.
影响因子： --
作者： [Kirsten Winter;Graeme Smith;J. Derrick]
通讯作者： Kirsten Winter;Graeme Smith;J. Derrick
Schedulers and finishers: On generating and filtering the behaviours of an event structure
调度程序和完成程序：生成和过滤事件结构的行为
DOI： 10.1016/j.tcs.2018.01.015
发表时间： 2018
期刊： Theoretical Computer Science
影响因子： 1.1
作者： [McIver A]
通讯作者： McIver A
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
  • 批准号：
    EP/X015114/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $53.85万
  • 财政年份：
    2023
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
Verifiably Correct Transactional Memory.
  • 批准号：
    EP/R032351/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $51.78万
  • 财政年份：
    2018
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
Verifying concurrent algorithms on Weak Memory Models
  • 批准号：
    EP/M017044/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $49.59万
  • 财政年份：
    2015
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
Verifying Concurrent Lock-free Algorithms
  • 批准号：
    EP/J003727/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $48.28万
  • 财政年份：
    2012
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
海外基金