Capable VMs
Capable VMs
批准号:
EP/V000349/1
负责人:
Jeremy Singer
金额:
$59.8万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2020
资助国家:
英国
项目状态:
未结题
起止时间:
2020 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
Boehm-Demers-Weiser Garbage Collection on Morello
莫雷洛的 Boehm-Demers-Weiser 垃圾收集
DOI:
10.1145/3546918.3560808
发表时间:
2022
期刊:
影响因子:
--
作者:
[Jacob D]
通讯作者:
Jacob D
共 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
-
依托单位:
AnyScale Applications
-
批准号:EP/L000725/1
-
项目类别:Research Grant
-
资助金额:$148.63万
-
财政年份:2013
-
负责人:Jeremy Singer
-
依托单位:
国内基金
海外基金
登录
查看更多内容
富金VMS矿床中银金矿纳米尺度金活化—富集机制研究
-
批准号:42302045
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:刘海明
-
依托单位:
子痫前期中VMS1介导线粒体自噬调控滋养细胞功能的机制研究
-
批准号:82360310
-
项目类别:地区科学基金项目
-
资助金额:31万元
-
批准年份:2023
-
负责人:李崎
-
依托单位:
块状硫化物矿床喷流岩形成机理及其对成矿的制约:以新疆三峰山VMS铜金和哈尔达坂SEDEX铅锌矿床为例
-
批准号:42202065
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:王佳琳
-
依托单位:
块状硫化物矿床喷流岩形成机理及其对成矿的制约:以新疆三峰山VMS铜金和哈尔达坂SEDEX铅锌矿床为例
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:王佳琳
-
依托单位:
东天山红海VMS型铜-锌矿床蚀变岩和蚀变矿物化学成分特征及其对成矿过程的制约
-
批准号:42003033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:黄健瀚
-
依托单位:
晚太古代五台绿岩带金岗库层控BIF与VMS矿床成因联系及沉积环境
-
批准号:41772078
-
项目类别:面上项目
-
资助金额:80.0万元
-
批准年份:2017
-
负责人:韩春明
-
依托单位:
晚太古代清源绿岩带BIF与VMS矿床的成因联系及沉积环境
-
批准号:41572076
-
项目类别:面上项目
-
资助金额:90.0万元
-
批准年份:2015
-
负责人:张连昌
-
依托单位:
VMS型矿床在变质变形过程的元素迁移规律:以阿舍勒铜矿和可可塔勒铅锌矿为例
-
批准号:41502068
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2015
-
负责人:郑义
-
依托单位:
VMS型矿床成矿流体来源及其演化过程:来自四川呷村矿床的锂同位素证据
-
批准号:41573038
-
项目类别:面上项目
-
资助金额:73.0万元
-
批准年份:2015
-
负责人:杨丹
-
依托单位:
阿尔泰南缘克兰盆地VMS矿床的变形变质、碳质流体与成矿
-
批准号:40972066
-
项目类别:面上项目
-
资助金额:49.0万元
-
批准年份:2009
-
负责人:徐九华
-
依托单位: