Image de couverture de livre

ALFRED: Virtual Memory for Intermittent Computing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Maioli, Andrea, Mottola, Luca
Format:	Preprint
Publié:	2021
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Dynamic Voltage and Frequency Scaling for Intermittent Computing
par: Maioli, Andrea, et autres
Publié: (2024)

Energy versus Output Quality of Non-volatile Writes in Intermittent Computing
par: Barjami, Rei, et autres
Publié: (2024)

Modal Abstractions for Virtualizing Memory Addresses
par: Kuru, Ismail, et autres
Publié: (2023)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
par: Wang, Yi, et autres
Publié: (2025)

CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
par: Farzaneh, Hamid, et autres
Publié: (2025)

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
par: Fang, Jingzhi, et autres
Publié: (2026)

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
par: Mochizuki, Fumika, et autres
Publié: (2025)

PSM: Policy Synchronised Deterministic Memory
par: Mendler, Michael, et autres
Publié: (2025)

Dependent-Type-Preserving Memory Allocation
par: Koronkevich, Paulette, et autres
Publié: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
par: Jung, Christoph, et autres
Publié: (2025)

Reversible Computation with Stacks and "Reversible Management of Failures"
par: Palazzo, Matteo, et autres
Publié: (2025)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
par: Zhang, Zheng, et autres
Publié: (2025)

OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
par: Banakar, Vinay, et autres
Publié: (2026)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
par: Margalit, Roy, et autres
Publié: (2025)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
par: Rose, Abhishek, et autres
Publié: (2024)

Misleading Microbenchmarks on the Java Virtual Machines
par: Schiavio, Filippo, et autres
Publié: (2026)

jMT: Testing Correctness of Java Memory Models (Extended Version)
par: Panneke, Lukas, et autres
Publié: (2026)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
par: Makor, Lukas, et autres
Publié: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2025)

Incremental Computation: What Is the Essence?
par: Liu, Yanhong A.
Publié: (2023)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
par: Bagrel, Thomas, et autres
Publié: (2025)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
par: Liu, Chang, et autres
Publié: (2023)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Mechanizing Synthetic Tait Computability in Istari
par: Li, Runming, et autres
Publié: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
par: Cate, Balder ten, et autres
Publié: (2024)

Towards Computational UIP in Cubical Agda
par: Tan, Yee-Jian, et autres
Publié: (2025)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
par: Korostinskiy, Roman, et autres
Publié: (2024)

A Sound Type System for Secure Currency Flow
par: Aceto, Luca, et autres
Publié: (2024)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
par: Wang, Yaoxiang, et autres
Publié: (2026)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
par: Paraskevopoulou, Zoe, et autres
Publié: (2024)

Task-Based Tensor Computations on Modern GPUs
par: Yadav, Rohan, et autres
Publié: (2025)

Consistent Distributed Reactive Programming with Retroactive Computation
par: Kamina, Tetsuo, et autres
Publié: (2025)

Algorithmically Expressive, Always-Terminating Model for Reversible Computation
par: Palazzo, Matteo, et autres
Publié: (2024)

Reconsidering "Reconsidering Custom Memory Allocation"
par: van Kempen, Nicolas, et autres
Publié: (2026)

Bentō: Optimizing Persistent Memory Programs
par: Amaro, Sebastião, et autres
Publié: (2026)

Getting a Handle on Unmanaged Memory
par: Wanninger, Nick, et autres
Publié: (2024)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
par: Randone, Francesca, et autres
Publié: (2026)