Verifiably Correct Transactional Memory

可验证正确的事务内存

基本信息

  • 批准号:
    EP/R032556/1
  • 负责人:
  • 金额:
    $ 50.67万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    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.
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要,但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Towards deductive verification of C11 programs with Event-B and ProB
使用 Event-B 和 ProB 进行 C11 程序的演绎验证
  • DOI:
    10.1145/3340672.3341117
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dalvandi M
  • 通讯作者:
    Dalvandi M
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
编程语言和系统 - 第 31 届欧洲编程研讨会,ESOP 2022,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2022,德国慕尼黑,2022 年 4 月 2-7 日,会议记录
  • DOI:
    10.1007/978-3-030-99336-8_9
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Bila E
  • 通讯作者:
    Bila E
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
正式方法。
  • DOI:
    10.1007/978-3-030-54994-7_16
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alves G
  • 通讯作者:
    Alves G
Proving Memory Access Violations in Isabelle/HOL
证明 Isabelle/HOL 中的内存访问冲突
  • DOI:
    10.1145/3563822.3568010
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ahmadi S
  • 通讯作者:
    Ahmadi S
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Brijesh Dongol其他文献

What Cannot Be Implemented on Weak Memory?
什么不能在弱内存上实现?
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Armando Castaneda;Gregory Chockler;Brijesh Dongol;O. Lahav
  • 通讯作者:
    O. Lahav
Deriving real-time action systems in a sampling logic
在采样逻辑中导出实时动作系统
Progress-based verification and derivation of concurrent programs
基于进度的并发程序验证和推导
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Brijesh Dongol
  • 通讯作者:
    Brijesh Dongol
Decidability and complexity for quiescent consistency and its variations
静态一致性及其变化的可判定性和复杂性
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    1
  • 作者:
    Brijesh Dongol;R. Hierons
  • 通讯作者:
    R. Hierons
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation
强化安全性和进度属性:并发程序推导的方法

Brijesh Dongol的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Brijesh Dongol', 18)}}的其他基金

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
  • 批准号:
    EP/X015149/1
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant
SACRED-MA: Safe And seCure REmote Direct Memory Access
SACRED-MA:安全可靠的远程直接内存访问
  • 批准号:
    EP/X037142/1
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant
Verifiably Correct Swarm Attestation
可验证正确的群体证明
  • 批准号:
    EP/V038915/1
  • 财政年份:
    2021
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant
Verifiably correct concurrency abstractions
可验证正确的并发抽象
  • 批准号:
    EP/R019045/2
  • 财政年份:
    2018
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant
Verifiably correct concurrency abstractions
可验证正确的并发抽象
  • 批准号:
    EP/R019045/1
  • 财政年份:
    2017
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant
Verifiably correct high-performance concurrency libraries for multi-core computing systems
可验证正确的多核计算系统高性能并发库
  • 批准号:
    EP/N016661/1
  • 财政年份:
    2016
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant

相似海外基金

SHF: Medium: Provably Correct, Energy-Efficient Edge Computing
SHF:中:可证明正确、节能的边缘计算
  • 批准号:
    2403144
  • 财政年份:
    2024
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Standard Grant
I-Corps: Vision analysis system using inferred three-dimensional data to analyze and correct a user’s pose in relation to 3D space
I-Corps:视觉分析系统,使用推断的三维数据来分析和纠正用户相对于 3D 空间的姿势
  • 批准号:
    2403992
  • 财政年份:
    2024
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Standard Grant
In vivo precision genome editing to correct genetic disease
体内精准基因组编辑以纠正遗传疾病
  • 批准号:
    10771419
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
The development of Machine Learning methods to correct data responses from low-cost sensors to improve agricultural productivity and air quality data accuracy.
开发机器学习方法来纠正低成本传感器的数据响应,以提高农业生产力和空气质量数据的准确性。
  • 批准号:
    10081002
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Collaborative R&D
Defining the Potential of Gene Therapy to Correct Motor Disabilities of CTNNB1 Syndrome Using in Vivo Mouse and in Vitro Human Cell Models
利用体内小鼠和体外人类细胞模型确定基因疗法纠正 CTNNB1 综合征运动障碍的潜力
  • 批准号:
    10809254
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
A correct-by-construction approach to approximate computation
一种近似计算的构造修正方法
  • 批准号:
    EP/Y000455/1
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Research Grant
A theorem prover for the correct development of reconfigurable systems
正确开发可重构系统的定理证明者
  • 批准号:
    23K11048
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Identification, development and application of novel neuroserpin inhibitors to correct the NGF deficiency in the Alzheimer's disease pathology
新型神经丝氨酸蛋白酶抑制剂的鉴定、开发和应用以纠正阿尔茨海默病病理学中的 NGF 缺陷
  • 批准号:
    490333
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
    Operating Grants
Developing microwave epiphysiodesis to correct limb length discrepancies
开发微波骨骺固定术以纠正肢体长度差异
  • 批准号:
    10804031
  • 财政年份:
    2023
  • 资助金额:
    $ 50.67万
  • 项目类别:
Using machine learning to correct for the impact of detector effects in top measurements on ATLAS
使用机器学习来校正 ATLAS 顶部测量中探测器效应的影响
  • 批准号:
    574378-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 50.67万
  • 项目类别:
    University Undergraduate Student Research Awards
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了