SACRED-MA: Safe And seCure REmote Direct Memory Access

SACRED-MA：安全可靠的远程直接内存访问

基本信息

  • 批准号：
    EP/X037029/1
  • 负责人：
    Azalea Raad
  • 金额：
    $ 57.67万
  • 依托单位：
    Imperial College London
  • 依托单位国家：
    英国
  • 项目类别：
    Research Grant
  • 财政年份：
    2023
  • 资助国家：
    英国
  • 起止时间：
    2023 至 无数据
  • 项目状态：
    未结题

项目摘要

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目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要，但可能是因为它包含了敏感信息，例如个人详细信息。

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

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

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Azalea Raad其他文献

Verifying Concurrent Graph Algorithms
验证并发图算法
Abstraction, refinement and concurrent reasoning
抽象、细化和并发推理
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Azalea Raad
  • 通讯作者：
    Azalea Raad
Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design
Mechanic Miner：反射驱动的游戏机制发现和关卡设计
  • DOI：
  • 发表时间：
    2013
  • 期刊：
    EvoApplications
  • 影响因子：
    0
  • 作者：
    Michael Cook;S. Colton;Azalea Raad;J. Gow
  • 通讯作者：
    J. Gow
Specifying and Verifying Persistent Libraries
指定和验证持久性库
  • DOI：
  • 发表时间：
    2023
  • 期刊：
    European Symposium on Programming
  • 影响因子：
    0
  • 作者：
    Léo Stefanesco;Azalea Raad;Viktor Vafeiadis
  • 通讯作者：
    Viktor Vafeiadis
On Parallel Snapshot Isolation and Release/Acquire Consistency
论并行快照隔离与释放/获取一致性

Azalea Raad的其他文献

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

{{ truncateString('Azalea Raad', 18)}}的其他基金

PERSEVERE: A Rigorous Foundation for Persistent Verification
PERSEVERE：持久验证的严格基础
  • 批准号：
    MR/V024299/1
  • 财政年份：
    2021
  • 资助金额：
    $ 57.67万
  • 项目类别：
    Fellowship

相似国自然基金

钢包底吹透气塞中费马螺旋渐变式气流通道设计及微胶囊抗热冲击机制
  • 批准号：
    52304356
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
黄土-三趾马红土界面剪切变形演化规律及其控制机制
  • 批准号：
    42307217
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
部分可观测连续时间马氏决策过程若干风险准则的最优控制问题研究
  • 批准号：
    12361091
  • 批准年份：
    2023
  • 资助金额：
    27 万元
  • 项目类别：
    地区科学基金项目
禽白血病病毒J亚群与马立克氏病病毒协同劫持DCLK1促进肿瘤形成机制
  • 批准号：
    32302836
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

SACRED-MA: Safe And seCure REmote Direct Memory Access
SACRED-MA：安全可靠的远程直接内存访问
  • 批准号：
    EP/X037142/1
  • 财政年份：
    2023
  • 资助金额：
    $ 57.67万
  • 项目类别：
    Research Grant
Impact of Violence and Power on a HIV Behavioral Intervention for Female MA Users
暴力和权力对女性 MA 用户 HIV 行为干预的影响
  • 批准号：
    8139609
  • 财政年份：
    2011
  • 资助金额：
    $ 57.67万
  • 项目类别：
Impact of Violence and Power on a HIV Behavioral Intervention for Female MA Users
暴力和权力对女性 MA 用户 HIV 行为干预的影响
  • 批准号：
    8447066
  • 财政年份：
    2011
  • 资助金额：
    $ 57.67万
  • 项目类别：
Impact of Violence and Power on a HIV Behavioral Intervention for Female MA Users
暴力和权力对女性 MA 用户 HIV 行为干预的影响
  • 批准号：
    8233406
  • 财政年份：
    2011
  • 资助金额：
    $ 57.67万
  • 项目类别：
Impact of Violence and Power on a HIV Behavioral Intervention for Female MA Users
暴力和权力对女性 MA 用户 HIV 行为干预的影响
  • 批准号：
    8635325
  • 财政年份：
    2011
  • 资助金额：
    $ 57.67万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了