Deterministic Scheduling, Hard Deadlines, Embedded Systems, RTOS
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·3d
RLVMR: Reinforcement Learning with Verifiable Meta-Reasoning Rewards for Robust Long-Horizon Agents
arxiv.org·3d
Adaptive Fuzzy Time Series Forecasting via Partially Asymmetric Convolution and Sub-Sliding Window Fusion
arxiv.org·5d
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·3d
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·3d
Load Balancing for AI Training Workloads
arxiv.org·4d
A Modified Adaptive Data-Enabled Policy Optimization Control to Resolve State Perturbations
arxiv.org·5d
Loading...Loading more...