Cover Image

Optimizing Logical Execution Time Model for Both Determinism and Low Latency

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Sen, Li, Dong, Sifat, Ashrarul H., Huang, Shao-Yu, Deng, Xuanliang, Jung, Changhee, Williams, Ryan, Zeng, Haibo
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Operating Systems Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables
by: Wang, Sen, et al.
Published: (2024)

Joint Optimization of Continuous Variables and Priority Assignments for Real-Time Systems with Black-box Schedulability Constraints
by: Wang, Sen, et al.
Published: (2024)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
by: Zhao, Xinkui, et al.
Published: (2025)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
by: Gimelfarb, Michael, et al.
Published: (2024)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
by: Aso-Mollar, Ángel, et al.
Published: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

CARTOS: A Charging-Aware Real-Time Operating System for Intermittent Batteryless Devices
by: Karimi, Mohsen, et al.
Published: (2023)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Timing Analysis and Priority-driven Enhancements of ROS 2 Multi-threaded Executors
by: Sobhani, Hoora, et al.
Published: (2024)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

DynamicAdaptiveClimb: Adaptive Cache Replacement with Dynamic Resizing
by: Berend, Daniel, et al.
Published: (2025)

Defending Event-Triggered Systems against Out-of-Envelope Environments
by: Völp, Marcus, et al.
Published: (2025)

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

Optimizing Tree-structure Indexes for CXL-based Heterogeneous Memory with SINLK
by: Zhao, Haoru, et al.
Published: (2025)

Enhancing Attack Resilience in Real-Time Systems through Variable Control Task Sampling Rates
by: Sain, Arkaprava, et al.
Published: (2024)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
by: Zou, Haohan, et al.
Published: (2025)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
by: Tabbara, Ihab, et al.
Published: (2025)

TempoNet: Slack-Quantized Transformer-Guided Reinforcement Scheduler for Adaptive Deadline-Centric Real-Time Dispatchs
by: Fu, Rong, et al.
Published: (2026)

Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems
by: Sain, Arkaprava, et al.
Published: (2026)

Modeling and Scheduling of Fusion Patterns in Autonomous Driving Systems (Extended Version)
by: Sobhani, Hoora, et al.
Published: (2025)

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

Generative Profiling for Soft Real-Time Systems and its Applications to Resource Allocation
by: Bondar, Georgiy A., et al.
Published: (2026)

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
by: Pagès, Raphaël
Published: (2024)

Enhancing Battery Storage Energy Arbitrage with Deep Reinforcement Learning and Time-Series Forecasting
by: Sage, Manuel, et al.
Published: (2024)

Online Learning Control Strategies for Industrial Processes with Application for Loosening and Conditioning
by: Wu, Yue, et al.
Published: (2025)

Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems
by: Huang, Bo, et al.
Published: (2024)

Fractal Attractors in Random Nonlinear Iterated Function Systems: Existence, Stability, and Dimensional Properties
by: Bouke, Mohamed Aly
Published: (2025)

A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
by: Aichmayr, Marcus S., et al.
Published: (2024)

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

HeteroPod: XPU-Accelerated Infrastructure Offloading for Commodity Cloud-Native Applications
by: Yang, Bicheng, et al.
Published: (2025)

Supply Chain Exploitation of Secure ROS 2 Systems: A Proof-of-Concept on Autonomous Platform Compromise via Keystore Exfiltration
by: Sakib, Tahmid Hasan, et al.
Published: (2025)

TClone: Low-Latency Forking of Live GUI Environments for Computer-Use Agents
by: Huang, Yutong, et al.
Published: (2026)

Valve: Production Online-Offline Inference Colocation with Jointly-Bounded Preemption Latency and Rate
by: Liu, Fangyue, et al.
Published: (2026)

EDM: An Ultra-Low Latency Ethernet Fabric for Memory Disaggregation
by: Su, Weigao, et al.
Published: (2024)