Buchumschlag

Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Picard, Simon, Paolillo, Antonio, Geeraerts, Gilles, Goossens, Joël
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Operating Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SquirrelFS: using the Rust compiler to check file-system crash consistency
von: LeBlanc, Hayley, et al.
Veröffentlicht: (2024)

RUISA Operational Ecosystem Architecture
von: AL Mohtar, Mouayad
Veröffentlicht: (2026)

Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach
von: Perez-Munoz, Angel-Grover, et al.
Veröffentlicht: (2024)

Holistic Heterogeneous Scheduling for Autonomous Applications using Fine-grained, Multi-XPU Abstraction
von: Han, Mingcong, et al.
Veröffentlicht: (2025)

Maratona Linux a tale of upgrading from Ubuntu 20.04 to 22.04
von: Santos, Davi Antônio da Silva, et al.
Veröffentlicht: (2025)

Global Scheduling of Weakly-Hard Real-Time Tasks using Job-Level Priority Classes
von: Moyano, V. Gabriel, et al.
Veröffentlicht: (2024)

Pareto‐optimal scheduling for just‐in‐time production systems with energy consideration
von: Hudaifah Hudaifah, et al.
Veröffentlicht: (2025)

Exact and metaheuristic approaches to minimizing makespan in parallel machine scheduling with conflicting jobs
von: Roberto Maria Rosati, et al.
Veröffentlicht: (2026)

A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules
von: Jiang, Jinhu, et al.
Veröffentlicht: (2024)

Ideals of étale groupoid algebras with coefficients in a sheaf with applications to topological dynamics
von: de Castro, Gilles G., et al.
Veröffentlicht: (2024)

Inspection of I/O Operations from System Call Traces using Directly-Follows-Graph
von: Sankaran, Aravind, et al.
Veröffentlicht: (2024)

Non-commutative skew-product extension dynamical systems
von: Crismale, Vitonofrio, et al.
Veröffentlicht: (2024)

Exact resolution of a simultaneous vehicle routing and crew scheduling problem in long‐haul transport
von: Mauro Lucci, et al.
Veröffentlicht: (2025)

The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems
von: Treviño, Rodrigo
Veröffentlicht: (2024)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
von: Giacomossi, Luiz, et al.
Veröffentlicht: (2026)

Securing Monolithic Kernels using Compartmentalization
von: Lim, Soo Yee, et al.
Veröffentlicht: (2024)

Foreactor: Exploiting Storage I/O Parallelism with Explicit Speculation
von: Hu, Guanzhou, et al.
Veröffentlicht: (2024)

Next4: Snapshots in Ext4 File System
von: Dani, Aditya, et al.
Veröffentlicht: (2024)

numaPTE: Managing Page-Tables and TLBs on NUMA Systems
von: Gao, Bin, et al.
Veröffentlicht: (2024)

LLM as a System Service on Mobile Devices
von: Yin, Wangsong, et al.
Veröffentlicht: (2024)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems
von: Zhao, Shuai, et al.
Veröffentlicht: (2024)

MVVM: Deploy Your AI Agents-Securely, Efficiently, Everywhere
von: Yang, Yiwei, et al.
Veröffentlicht: (2024)

SVFF: An Automated Framework for SR-IOV Virtual Function Management in FPGA Accelerated Virtualized Environments
von: Cirici, Stefano, et al.
Veröffentlicht: (2024)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
von: Deng, Zhaomeng, et al.
Veröffentlicht: (2024)

Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration
von: Xiang, Lingfeng, et al.
Veröffentlicht: (2024)

Squeezy: Rapid VM Memory Reclamation for Serverless Functions
von: Nikolos, Orestis Lagkas, et al.
Veröffentlicht: (2024)

Crash Consistency in DRAM-NVM-Disk Hybrid Storage System
von: Wang, Guoyu, et al.
Veröffentlicht: (2024)

E-Mapper: Energy-Efficient Resource Allocation for Traditional Operating Systems on Heterogeneous Processors
von: Smejkal, Till, et al.
Veröffentlicht: (2024)

Wave: Offloading Resource Management to SmartNIC Cores
von: Humphries, Jack Tigar, et al.
Veröffentlicht: (2024)

Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly
von: Zheng, Yusheng, et al.
Veröffentlicht: (2024)

Dissecting CXL Memory Performance at Scale: Analysis, Modeling, and Optimization
von: Liu, Jinshu, et al.
Veröffentlicht: (2024)

Assessing FIFO and Round Robin Scheduling:Effects on Data Pipeline Performance and Energy Usage
von: Choudhury, Malobika Roy, et al.
Veröffentlicht: (2024)

Boosting File Systems Elegantly: A Transparent NVM Write-ahead Log for Disk File Systems
von: Wang, Guoyu, et al.
Veröffentlicht: (2024)

Data-driven Software-based Power Estimation for Embedded Devices
von: Wang, Haoyu, et al.
Veröffentlicht: (2024)

Simulation of high-performance memory allocators
von: Risco-Martín, José L., et al.
Veröffentlicht: (2024)

Optimizing over FP/EDF Execution Times: Known Results and Open Problems
von: Bini, Enrico
Veröffentlicht: (2024)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
von: Ijaz, Ramla, et al.
Veröffentlicht: (2024)

Sharpe-Driven Stock Selection and Liquidiy-Constrained Portfolio Optimization: Evidence from the Chinese Equity Market
von: Nguyen, Thanh
Veröffentlicht: (2025)

Guidelines for Building Indexes on Partially Cache-Coherent CXL Shared Memory
von: Wu, Fangnuo, et al.
Veröffentlicht: (2025)

RTOS Architectures that Solve the Diminishing Bandwidth Problem
von: Arakji, Mazen
Veröffentlicht: (2025)