Copertina

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Strongly-Consistent Distributed Discrete-event Systems
di: Donovan, Peter, et al.
Pubblicazione: (2024)

Efficient Parallel Reinforcement Learning Framework using the Reactor Model
di: Kwok, Jacky, et al.
Pubblicazione: (2023)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
di: A., Gustavo Quiros, et al.
Pubblicazione: (2025)

HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems
di: Kwok, Jacky, et al.
Pubblicazione: (2024)

Efficient Coordination for Distributed Discrete-Event Systems
di: Jun, Byeonggil, et al.
Pubblicazione: (2024)

Edge Generation Scheduling for DAG Tasks Using Deep Reinforcement Learning
di: Sun, Binqi, et al.
Pubblicazione: (2023)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
di: Chen, Pei-Wei, et al.
Pubblicazione: (2025)

The Syncline Model -- Analyzing the Impact of Time Synchronization in Sensor Fusion
di: Jellum, Erling Rennemo, et al.
Pubblicazione: (2022)

Multi-Objective Memory Bandwidth Regulation and Cache Partitioning for Multicore Real-Time Systems
di: Sun, Binqi, et al.
Pubblicazione: (2025)

Prêt-…-partir / Valérie Coroller
di: Coroller, Valérie

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
di: Godbole, Adwait, et al.
Pubblicazione: (2024)

Impoola: The Power of Average Pooling for Image-Based Deep Reinforcement Learning
di: Trumpp, Raphael, et al.
Pubblicazione: (2025)

Efficient Real-World Autonomous Racing via Attenuated Residual Policy Optimization
di: Trumpp, Raphael, et al.
Pubblicazione: (2026)

OntoPret: An Ontology for the Interpretation of Human Behavior
di: Ellis, Alexis, et al.
Pubblicazione: (2025)

Navigating Ethical AI Challenges in the Industrial Sector: Balancing Innovation and Responsibility
di: Tan, Ruomu, et al.
Pubblicazione: (2026)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
di: Godbole, Adwait, et al.
Pubblicazione: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2024)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2025)

Learning Formal Specifications from Membership and Preference Queries
di: Shah, Ameesh, et al.
Pubblicazione: (2023)

Status of the Queen conch Strombus gigas stocks, management and trade in the Caribbean: a CITES review
di: Theile, Stephanie
Pubblicazione: (2005)

Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning
di: Theile, Mirco, et al.
Pubblicazione: (2024)

Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning
di: Theile, Mirco, et al.
Pubblicazione: (2023)

Verified Code Transpilation with LLMs
di: Bhatia, Sahil, et al.
Pubblicazione: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
di: Shetty, Manish, et al.
Pubblicazione: (2024)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
di: Joshi, Aniruddha, et al.
Pubblicazione: (2025)

Learning Symbolic Task Decompositions for Multi-Agent Teams
di: Shah, Ameesh, et al.
Pubblicazione: (2025)

On Global Rates for Regularization Methods based on Secant Derivative Approximations
di: Cartis, Coralia, et al.
Pubblicazione: (2025)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2025)

SimpleStrat: Diversifying Language Model Generation with Stratification
di: Wong, Justin, et al.
Pubblicazione: (2024)

NeuroVM: Dynamic Neuromorphic Hardware Virtualization
di: Isik, Murat, et al.
Pubblicazione: (2024)

Action Mapping for Reinforcement Learning in Continuous Environments with Constraints
di: Theile, Mirco, et al.
Pubblicazione: (2024)

Continuous World Coverage Path Planning for Fixed-Wing UAVs using Deep Reinforcement Learning
di: Theile, Mirco, et al.
Pubblicazione: (2025)

Context-Aided Variable Elimination for Requirement Engineering
di: Incer, Inigo, et al.
Pubblicazione: (2023)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
di: Qiu, Jie, et al.
Pubblicazione: (2024)

GRAID: Enhancing Spatial Reasoning of VLMs Through High-Fidelity Data Generation
di: Elmaaroufi, Karim, et al.
Pubblicazione: (2025)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
di: Vazquez-Chanlatte, Marcell, et al.
Pubblicazione: (2024)

Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
di: Lauffer, Niklas, et al.
Pubblicazione: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
di: Shah, Ameesh, et al.
Pubblicazione: (2024)

Learning Affordances at Inference-Time for Vision-Language-Action Models
di: Shah, Ameesh, et al.
Pubblicazione: (2025)