Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Picard, Simon, Paolillo, Antonio, Geeraerts, Gilles, Goossens, Joël
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Operating Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SquirrelFS: using the Rust compiler to check file-system crash consistency
di: LeBlanc, Hayley, et al.
Pubblicazione: (2024)

RUISA Operational Ecosystem Architecture
di: AL Mohtar, Mouayad
Pubblicazione: (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
di: Perez-Munoz, Angel-Grover, et al.
Pubblicazione: (2024)

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

Holistic Heterogeneous Scheduling for Autonomous Applications using Fine-grained, Multi-XPU Abstraction
di: Han, Mingcong, et al.
Pubblicazione: (2025)

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

Pareto‐optimal scheduling for just‐in‐time production systems with energy consideration
di: Hudaifah Hudaifah, et al.
Pubblicazione: (2025)

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

A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules
di: Jiang, Jinhu, et al.
Pubblicazione: (2024)

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

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

Non-commutative skew-product extension dynamical systems
di: Crismale, Vitonofrio, et al.
Pubblicazione: (2024)

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

The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems
di: Treviño, Rodrigo
Pubblicazione: (2024)

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

Securing Monolithic Kernels using Compartmentalization
di: Lim, Soo Yee, et al.
Pubblicazione: (2024)

Foreactor: Exploiting Storage I/O Parallelism with Explicit Speculation
di: Hu, Guanzhou, et al.
Pubblicazione: (2024)

Next4: Snapshots in Ext4 File System
di: Dani, Aditya, et al.
Pubblicazione: (2024)

numaPTE: Managing Page-Tables and TLBs on NUMA Systems
di: Gao, Bin, et al.
Pubblicazione: (2024)

LLM as a System Service on Mobile Devices
di: Yin, Wangsong, et al.
Pubblicazione: (2024)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems
di: Zhao, Shuai, et al.
Pubblicazione: (2024)

MVVM: Deploy Your AI Agents-Securely, Efficiently, Everywhere
di: Yang, Yiwei, et al.
Pubblicazione: (2024)

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

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

Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration
di: Xiang, Lingfeng, et al.
Pubblicazione: (2024)

Squeezy: Rapid VM Memory Reclamation for Serverless Functions
di: Nikolos, Orestis Lagkas, et al.
Pubblicazione: (2024)

Crash Consistency in DRAM-NVM-Disk Hybrid Storage System
di: Wang, Guoyu, et al.
Pubblicazione: (2024)

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

Wave: Offloading Resource Management to SmartNIC Cores
di: Humphries, Jack Tigar, et al.
Pubblicazione: (2024)

Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly
di: Zheng, Yusheng, et al.
Pubblicazione: (2024)

Dissecting CXL Memory Performance at Scale: Analysis, Modeling, and Optimization
di: Liu, Jinshu, et al.
Pubblicazione: (2024)

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

Boosting File Systems Elegantly: A Transparent NVM Write-ahead Log for Disk File Systems
di: Wang, Guoyu, et al.
Pubblicazione: (2024)

Data-driven Software-based Power Estimation for Embedded Devices
di: Wang, Haoyu, et al.
Pubblicazione: (2024)

Simulation of high-performance memory allocators
di: Risco-Martín, José L., et al.
Pubblicazione: (2024)

Optimizing over FP/EDF Execution Times: Known Results and Open Problems
di: Bini, Enrico
Pubblicazione: (2024)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
di: Ijaz, Ramla, et al.
Pubblicazione: (2024)

Sharpe-Driven Stock Selection and Liquidiy-Constrained Portfolio Optimization: Evidence from the Chinese Equity Market
di: Nguyen, Thanh
Pubblicazione: (2025)

Guidelines for Building Indexes on Partially Cache-Coherent CXL Shared Memory
di: Wu, Fangnuo, et al.
Pubblicazione: (2025)

RTOS Architectures that Solve the Diminishing Bandwidth Problem
di: Arakji, Mazen
Pubblicazione: (2025)