Virtualizing Intermittent Computing
Virtualizing Intermittent Computing
复制标题
虚拟化间歇计算
DOI:
10.1109/jiot.2022.3176587
复制
发表时间:
2021
影响因子:
10.6
通讯作者:
G. Kardas
中科院分区:
文献类型:
--
作者:
Caglar Durmaz;K. Yıldırım;G. Kardas
Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to the programs that are hardware dependent and not reusable. This article aims at virtualizing intermittent computing to remedy these problems. We introduce PureVM, a virtual machine that abstracts a transiently powered computer, and PureLANG, a continuation-passing-style programming language to develop programs that run on PureVM. This virtualization, for the first time, paves the way for portable and reusable transiently powered applications.
登录
查看更多内容
DOI:
10.1109/tcad.2016.2547919
发表时间:
2016-12-01
影响因子:
2.9
作者:
Balsamo, Domenico;Weddell, Alex S.;Benini, Luca
通讯作者:
Benini, Luca
DOI:
10.1145/3373376.3378476
发表时间:
2020-03
期刊:
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子:
--
作者:
Vito Kortbeek;K. Yıldırım;A. Bakar;Jacob M. Sorber;Josiah D. Hester;P. Pawełczak
通讯作者:
Vito Kortbeek;K. Yıldırım;A. Bakar;Jacob M. Sorber;Josiah D. Hester;P. Pawełczak
影响因子:
--
作者:
Milijana Surbatovich;Limin Jia;Brandon Lucia
通讯作者:
Milijana Surbatovich;Limin Jia;Brandon Lucia
DOI:
10.1145/3314221.3314583
发表时间:
2019-06
期刊:
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子:
--
作者:
E. Ruppel;Brandon Lucia
通讯作者:
E. Ruppel;Brandon Lucia
DOI:
10.1145/3178372.3179525
发表时间:
2018
期刊:
Proceedings of the 27th International Conference on Compiler Construction
影响因子:
--
作者:
Colin, Alexei;Lucia, Brandon
通讯作者:
Lucia, Brandon