课题基金 / 基金详情

Capable VMs

Capable VMs
有能力的虚拟机
批准号:
EP/V000349/1
负责人:
Jeremy Singer
金额:
$59.8万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2020
资助国家:
英国
项目状态:
未结题
起止时间:
2020 至 --
关键词:

项目摘要

项目成果

Jeremy Singer的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Characterizing WebAssembly Bytecode
表征 WebAssembly 字节码
DOI: 10.1145/3546918.3560809
发表时间: 2022
期刊:
影响因子: --
作者: [Qin Y]
通讯作者: Qin Y
CHERI Performance Enhancement for a Bytecode Interpreter
字节码解释器的 CHERI 性能增强
DOI: 10.1145/3623507.3623552
发表时间: 2023
期刊:
影响因子: --
作者: [Lowther D]
通讯作者: Lowther D
Morello MicroPython: A Python Interpreter for CHERI
Morello MicroPython:CHERI 的 Python 解释器
DOI: 10.1145/3617651.3622991
发表时间: 2023
期刊:
影响因子: --
作者: [Lowther D]
通讯作者: Lowther D
Notes on notebooks: is Jupyter the bringer of jollity?
笔记本笔记:Jupyter 是欢乐的使者吗?
DOI: 10.1145/3426428.3426924
发表时间: 2020
期刊:
影响因子: --
作者: [Singer J]
通讯作者: Singer J
8
    M4Secure: Making Memory Management More Secure
    • 批准号:
      EP/X037525/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $58.34万
    • 财政年份:
      2023
    • 负责人:
      Jeremy Singer
    • 依托单位:
    Capabilities for Coders
    • 批准号:
      EP/X015831/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $13.1万
    • 财政年份:
      2022
    • 负责人:
      Jeremy Singer
    • 依托单位:
    FRuIT: The Federated RaspberryPi Micro-Infrastructure Testbed
    • 批准号:
      EP/P004024/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $115.89万
    • 财政年份:
      2017
    • 负责人:
      Jeremy Singer
    • 依托单位:
    Manycore Research Innovation and Opportunities Network (MaRIONet)
    • 批准号:
      EP/P006434/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $11.67万
    • 财政年份:
      2016
    • 负责人:
      Jeremy Singer
    • 依托单位:
    国内基金
    海外基金
    富金VMS矿床中银金矿纳米尺度金活化—富集机制研究
    子痫前期中VMS1介导线粒体自噬调控滋养细胞功能的机制研究
    • 批准号:
      82360310
    • 项目类别:
      地区科学基金项目
    • 资助金额:
      31万元
    • 批准年份:
      2023
    • 负责人:
      李崎
    • 依托单位:
    块状硫化物矿床喷流岩形成机理及其对成矿的制约:以新疆三峰山VMS铜金和哈尔达坂SEDEX铅锌矿床为例
    • 批准号:
      42202065
    • 项目类别:
      青年科学基金项目
    • 资助金额:
      30万元
    • 批准年份:
      2022
    • 负责人:
      王佳琳
    • 依托单位:
    块状硫化物矿床喷流岩形成机理及其对成矿的制约:以新疆三峰山VMS铜金和哈尔达坂SEDEX铅锌矿床为例
    • 批准号:
      --
    • 项目类别:
      青年科学基金项目
    • 资助金额:
      30万元
    • 批准年份:
      2022
    • 负责人:
      王佳琳
    • 依托单位: