yusuke1997/dblp-id-title huggingface dataset:
Sparse Bayesian Variable Selection for the Identification of Antigenic Variability in the Foot-and-Mouth Disease Virus
A Farewell to Arms: Sequential Reward Maximization on a Budget with a Giving Up Option
Detecting Complex Dependencies in Categorical Data
On the Statistical Efficiency of Mean-Field Reinforcement Learning with General Function Approximation
Information Theoretically Optimal Sample Complexity of Learning Dynamical Directed Acyclic Graphs
Policy Learning for Optimal Individualized Dose Intervals
Learning from Multiple Sources for Data-to-Text and Text-to-Data
Learning High-dimensional Gaussian Graphical Models under Total Positivity without Adjustment of Tuning Parameters
Choosing the Sample with Lowest Loss makes SGD Robust
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Classification Errors
No-regret algorithms for online k -submodular maximization
Calibration of conditional composite likelihood for Bayesian inference on Gibbs random fields
Black Box Variational Inference
The End of Optimism? An Asymptotic Analysis of Finite-Armed Linear Bandits
Representation Learning in Deep RL via Discrete Information Bottleneck
Bypassing the Exponential Dependency: Looped Transformers Efficiently Learn In-context by Multi-step Gradient Descent
Learning-Based Algorithms for Graph Searching Problems
The Relative Gaussian Mechanism and its Application to Private Gradient Descent
Algebraic Reconstruction Bounds and Explicit Inversion for Phase Retrieval at the Identifiability Threshold
Rate of Model Collapse in Recursive Training
Semisupervised alignment of manifolds
Couplings for Multinomial Hamiltonian Monte Carlo
Statistical Test for Auto Feature Engineering by Selective Inference
Locally Accelerated Conditional Gradients
Improving the Stability of the Knockoff Procedure: Multiple Simultaneous Knockoffs and Entropy Maximization
Robust Covariate Shift Regression
A Last-Step Regression Algorithm for Non-Stationary Online Learning
What Ails Generative Structure-based Drug Design: Expressivity is Too Little or Too Much?
Maximum Likelihood for Variance Estimation in High-Dimensional Linear Models
Toward Minimax Off-policy Value Estimation
Ordinal Potential-based Player Rating
Sample Complexity of Distinguishing Cause from Effect
Multi-level Advantage Credit Assignment for Cooperative Multi-Agent Reinforcement Learning
Theory-guided Message Passing Neural Network for Probabilistic Inference
ABCD-Strategy: Budgeted Experimental Design for Targeted Causal Structure Discovery
Multilevel Bayesian Quadrature
Gaussian Process Latent Variable Alignment Learning
A Parameter-Free Algorithm for Misspecified Linear Contextual Bandits
A Polynomial Time Algorithm for Determining DAG Equivalence in the Presence of Latent Variables and Selection Bias
Aggregating Incomplete and Noisy Rankings
Effect of Ambient-Intrinsic Dimension Gap on Adversarial Vulnerability
Privacy-Preserving Decentralized Actor-Critic for Cooperative Multi-Agent Reinforcement Learning
Improved analysis of randomized SVD for top-eigenvector approximation
Signature Isolation Forest
Why averaging classifiers can protect against overfitting
Cycle Consistent Probability Divergences Across Different Spaces
Learning User Preferences in Non-Stationary Environments
Frequency Domain Predictive Modelling with Aggregated Data
Thompson Sampling for Linear-Quadratic Control Problems
SDF-Bayes: Cautious Optimism in Safe Dose-Finding Clinical Trials with Drug Combinations and Heterogeneous Patient Groups
Proximity Variational Inference
On the Learnability of Fully-Connected Neural Networks
Automatic Attention Pruning: Improving and Automating Model Pruning using Attentions
Probability-Revealing Samples
Dimensionality Collapse: Optimal Measurement Selection for Low-Error Infinite-Horizon Forecasting
Interpretable Causal Inference for Analyzing Wearable, Sensor, and Distributional Data
Visual design support for probabilistic network application
High Dimensional Bayesian Optimization via Restricted Projection Pursuit Models
Pathwise Explanation of ReLU Neural Networks
Predictive Complexity Priors
On perfectness in Gaussian graphical models
Model-free Policy Learning with Reward Gradients
Information Transfer Across Clinical Tasks via Adaptive Parameter Optimisation
State Dependent Performative Prediction with Stochastic Approximation
Stochastic Negative Mining for Learning with Large Output Spaces
A Neural Architecture Predictor based on GNN-Enhanced Transformer
Tensor Factorization via Matrix Factorization
Predictive Correlation Screening: Application to Two-stage Predictor Design in High Dimension
Achieving the time of 1-NN, but the accuracy of k-NN
Cross-Loss Influence Functions to Explain Deep Network Representations
A PAC RL Algorithm for Episodic POMDPs
On cyclical MCMC sampling
Accelerated Methods for Riemannian Min-Max Optimization Ensuring Bounded Geometric Penalties
Prediction-Centric Uncertainty Quantification via MMD
A Geometric Perspective on the Transferability of Adversarial Directions
Complex-to-Real Sketches for Tensor Products with Applications to the Polynomial Kernel
Two Applications of Statistical Modelling to Natural Language Processing
Continual Learning using a Bayesian Nonparametric Dictionary of Weight Factors
Max-Rank: Efficient Multiple Testing for Conformal Prediction
Can clustering scale sublinearly with its clusters? A variational EM acceleration of GMMs and k-means
On the Model-Misspecification in Reinforcement Learning
Tree-reweighted belief propagation algorithms and approximate ML estimation by pseudo-moment matching
Ordering-Based Causal Structure Learning in the Presence of Latent Variables
VFDS: Variational Foresight Dynamic Selection in Bayesian Neural Networks for Efficient Human Activity Recognition
High-dimensional Mixed Graphical Model with Ordinal Data: Parameter Estimation and Statistical Inference
Root Cause Identification for Collective Anomalies in Time Series given an Acyclic Summary Causal Graph with Loops
Topic-Based Embeddings for Learning from Large Knowledge Graphs
Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework
Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches
Optimal routing and scheduling of complemental flows in converged networks
Schedulability Comparison for CAN Message with Offset: Priority Queue Versus FIFO Queue
TACO: An industrial case study of Test Automation for COverage
Elasticity of Workloads and Periods of Parallel Real-Time Tasks
Time-sensitive Software-defined Network (TSSDN) for Real-time Applications
IPDeN 2.0: Real-time NoC with selective flit deflection and buffering
Quality of service capabilities for hard real-time applications on multi-core processors
A contention-sensitive fine-grained locking protocol for multiprocessor real-time systems
Best-case response times of real-time tasks under fixed-priority scheduling with preemption thresholds
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
Reducing Overall Path Latency in Automotive Logical Execution Time Scheduling via Reinforcement Learning
Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks
On priority assignment for controller area network when some message identifiers are fixed
Exploring AMD GPU Scheduling Details by Experimenting With "Worst Practices"
Precise Scheduling of Mixed-Criticality Tasks on Varying-Speed Multiprocessors
Schedulability Analysis for the Abort-and-Restart (AR) Model
A faster exact multiprocessor schedulability test for sporadic tasks
ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems
Limited-Preemption Scheduling on Multiprocessors
Optimal procrastination interval for constrained deadline sporadic tasks upon uniprocessors
Dynamic Wireless Network Reconfiguration for Control System applied to a Nuclear Reactor Case Study
Traversal time for weakly synchronized CAN bus
Hardware Assisted Clock Synchronization with the IEEE 1588-2008 Precision Time Protocol
Analysing Real-Time Behaviour of Collective Communication Patterns in MPI
Global EDF scheduling of directed acyclic graphs on multiprocessor systems
Soft Real-Time Semi-Partitioned Scheduling with Restricted Migrations on Uniform Heterogeneous Multiprocessors
On the Problem of Finding Optimal Harmonic Periods
The generalized multiprocessor periodic resource interface model for hierarchical multiprocessor scheduling
Modeling Parallel Real-time Tasks with Di-Graphs
Parametric utilization bounds for implicit-deadline periodic tasks in automotive systems
Simulation intervals for uniprocessor real-time schedulers with preemption delay
Runtime Verification of AUTOSAR Timing Extensions
Improved feasibility of fixed-priority scheduling with deferred preemption using preemption thresholds for preemption points
EDF-hv: An Energy-Efficient Semi-Partitioned Approach for Hard Real-Time Systems
Task assignment on two unrelated types of processors
Improved priority assignment for real-time communications in on-chip networks
Modelling fault dependencies when execution time budgets are exceeded
Scheduling safety-critical real-time bus accesses using Time-Constrained Automata
Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱
Proceedings of the 32nd International Conference on Real-Time Networks and Systems, RTNS 2024, Porto, Portugal, November 6-8, 2024
Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022
Study of the reliability of statistical timing analysis for real-time systems
Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty
RTNS'2021: 29th International Conference on Real-Time Networks and Systems, Nantes, France, April 7-9, 2021
An Evaluation of Time-triggered Scheduling in the Linux Kernel
Robust Schedulability Tests for Fixed Job Priorities: Addressing Context Switch Costs with Non-Resumable Delays
Sufficient real-time analysis for an engine control unit
Efficient Schedulability Analysis of Semi-Clairvoyant Sporadic Task Systems With Graceful Degradation
Approximating WCET and Energy Consumption for Fast Multi-Objective Memory Allocation
Supporting I/O and IPC via Fine-Grained OS Isolation for Mixed-Criticality Real-Time Tasks
Propagation rules of real-time constraints on physical systems simulators in a hardware-in-the loop context
Tightness and computation assessment of worst-case delay bounds in wormhole networks-on-chip
Multiprocessor fixed priority scheduling with limited preemptions
WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems
Bounding Local Memory Usage of Preemptive 3-Phase Tasks under Partitioned Fixed-Priority Scheduling
Workload assignment for global real-time scheduling on unrelated multicore platforms
A framework for the evaluation of measurement-based timing analyses
Real-Time Traffic Guarantees in Heterogeneous Time-sensitive Networks
Resource augmentation for fault-tolerance feasibility of real-time tasks under error bursts
Cross-Layer Optimization for MAC Layer to Physical Device Communication Protocol Mapping
Analysis of the pessimism of the Trajectory approach for upper bounding end-to-end delay of sporadic flows sharing a switched Ethernet network
Re-sampling for statistical timing analysis of real-time systems
Predictable run-time mapping reconfiguration for real-time applications on many-core systems
Enabling Compositionality for Multicore Timing Analysis
Analysis for supporting real-time computer vision workloads using OpenVX on multicore+GPU platforms
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip
On Bounding Execution Demand under Mixed-Criticality EDF
Combining source and destination-tag routing to handle fault tolerance in software-defined real-time mesh networks
HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities
Overhead control in real-time global scheduling
A Closer Look at Intel Resource Director Technology (RDT)
An Optimal k-Exclusion Real-Time Locking Protcol Motivated by Multi-GPU Systems
Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems
Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic
Approximation scheme for real-time tasks under fixed-priority scheduling with deferred preemption
Precise scheduling of mixed-criticality tasks by varying processor speed
Fault-tolerant transmission of messages of differing criticalities across a shared communication medium
Static routing in symmetric real-time network-on-chips
Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency
SPRINT: Extending RUN to Schedule Sporadic Tasks
Analysis of Federated Scheduling for Integer-Valued Workloads
Semantics-preserving implementation of multirate mixed-criticality synchronous programs
Efficient context switching for the stack cache: implementation and analysis
A scheduling model inspired by control theory
Scheduling of Synchronous Dataflow Graphs with Partially Periodic Real-Time Constraints
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems
Dimensions of fixed-priority aperiodic servers
Evaluation of admissible CAN bus load with weak synchronization mechanism
Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system
Algorithmic Complexity of Correctness Testing in MC-Scheduling
Towards Virtualization-Agnostic Latency for Time-Sensitive Applications
A Dynamic Priority-aware Coherent Cache Architecture for Reactive Real-Time System
Scheduling Dynamic Task-Sets in Time-Triggered Real-Time Systems
Generalized mixed-criticality scheduling based on RUN
NITRO: Non-Intrusive Task Detection and Monitoring in Hard Real-Time Systems
A reliability-aware medium access control for unidirectional time-constrained WSNs
21st International Conference on Real-Time Networks and Systems, RTNS 2013, Sophia Antipolis, France, October 17-18, 2013
Towards Efficient Parallel GPU Scheduling: Interference Awareness with Schedule Abstraction
Real-time scheduling with resource sharing on uniform multiprocessors
Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small-Tasks
Energy-aware design of secure multi-mode real-time embedded systems with FPGA co-processors
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
The Boot Process in Real-time Manycore Processors
WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels
How to Optimize Joint Routing and Scheduling Models for TSN Using Integer Linear Programming
Handling write backs in multi-level cache analysis for WCET estimation
Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity
Linear transformation of conditional real-time tasks
Semi-partitioned model for dual-core mixed criticality system
Real-time multiprocessor locks with nesting: optimizing the common case
Scheduling Constrained-Deadline Tasks in Precise Mixed-Criticality Systems on a Varying-Speed Processor
Design and Analysis of Programming Platform for Accelerated GPU-Like Architectures
Functional Uncertainty in Real-Time Safety-Critical Systems
On the use of supervised machine learning for assessing schedulability: application to ethernet TSN
Analysis and optimization of message acceptance filter configurations for controller area network (CAN)
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation
Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies
Static analysis of worst-case stack cache behavior
Timing analysis enhancement for synchronous program
Scheduling DAGs When Processor Assignments Are Specified
Proceedings of the 31st International Conference on Real-Time Networks and Systems, RTNS 2023, Dortmund, Germany, June 7-8, 2023
The Power of Duality: Response Time Analysis meets Integer Programming
Quantum assignment for QoS-aware AFDX network with deficit round robin
Validating high level simulation results against experimental data and low level simulation: a case study
Runtime Scheduling for Video Decoding on Heterogeneous Architectures
On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems
Analysis of Long-term Average Behaviors of Probabilistic Task Systems
A global optimal scheduling algorithm for multiprocessor low-power platforms
SimPFair: tight fairness at low cost
Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System
Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN
Formal approach to guard time optimization for TDMA
On the Defectiveness of SCHED_DEADLINE w.r.t. Tardiness and Affinities, and a Partial Fix
Schedulability Analysis and Performance Optimization for Constrained-Deadline Elastic Tasks
MILP-based Deadline Assignment for End-to-End Flows in Distributed Real-Time Systems
Transformation of Sporadic Tasks for Off-line Scheduling with Utilization and Response Time Trade-offs
Elastic Scheduling for Graceful Degradation of Mixed-Criticality Systems
Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems
Release enforcement in resource-oriented partitioned scheduling for multiprocessor systems
Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems
Uniprocessor Scheduling Strategies for Self-Suspending Task Systems
Adaptive Fair Scheduler: Fairness in Presence of Disturbances
Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms
Quantifying Energy Consumption for Practical Fork-Join Parallelism on an Embedded Real-Time Operating System
Static profiling of the worst-case in real-time programs
Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM
Minimizing a real-time task set through Task Clustering
Impact on credit freeze before gate closing in CBS and GCL integration into TSN
Computing latency of a real-time system modeled by Synchronous Dataflow Graph
Response time analysis for G-EDF and G-DM scheduling of sporadic DAG-tasks with arbitrary deadline
A Compiler Optimization to Increase the Efficiency of WCET Analysis
State-based Communication on Time-predictable Multicore Processors
Response Time Analysis for Fixed Priority Servers
Efficient Algorithm for Jitter Minimization in Time-Triggered Periodic Mixed-Criticality Message Scheduling Problem
Flexible TDM-based resource management in on-chip networks
Delay analysis of AVB traffic in time-sensitive networks (TSN)
Data Cache Analysis by Counting Integer Points
Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads
Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs
Adding Empirical Real-Time Guarantees to LoRaWAN
Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems
Automated generation of time-predictable executables on multicore
Feasibility intervals for homogeneous multicores, asynchronous periodic tasks, and FJP schedulers
On-chip ring network designs for hard-real time systems
Measurement based WCET Analysis for Multi-core Architectures
Minimizing Cache Usage for Real-time Systems
Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling
Predictability and Utilisation Trade-off in the Dynamic Management of Multiple Video Stream Decoding on Network-on-Chip based Homogeneous Embedded Multi-cores
Memory-processor co-scheduling in fixed priority systems
A Coq Framework for More Trustworthy DRAM Controllers
An Efficient Proactive Thermal-Aware Scheduler for DVFS-enabled Single-Core Processors
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting
Reducing the gap between design and scheduling
Partition configuration for real-time systems with dependencies
Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression
Configurations and Optimizations of TDMA Schedules for Periodic Packet Communication on Networks on Chip
Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS
No-wait Packet Scheduling for IEEE Time-sensitive Networks (TSN)
Improved Uniprocessor Scheduling of Systems of Sporadic Constrained-Deadline Elastic Tasks
28th International Conference on Real Time Networks and Systems, RTNS 2020, Paris, France, June 10, 2020
Breaking vs. solving: analysis and routing of real-time networks with cyclic dependencies using network calculus
Managing End-to-End Timing Jitters in ROS2 Computation Chains
A delay density model for networked control systems
Independent yet Tight WCRT Analysis for Individual Priority Classes in Ethernet AVB
Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016
Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems
ACCEPTOR: a model and a protocol for real-time multi-mode applications on reconfigurable heterogeneous platforms
Optimizing Preemption-Overhead Accounting in Multiprocessor Real-Time Systems
Response time bounds for sporadic arbitrary-deadline tasks under global fixed-priority scheduling on multiprocessors
Scheduling Constrained-Deadline Parallel Tasks on Two-type Heterogeneous Multiprocessors
Proceedings of the 26th International Conference on Real-Time Networks and Systems, RTNS 2018, Chasseneuil-du-Poitou, France, October 10-12, 2018
Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets
Concurrency groups: a new way to look at real-time multiprocessor lock nesting
On the Validity of Credit-Based Shaper Delay Guarantees in Decentralized Reservation Protocols
Migrating Constant Bandwidth Servers on Multi-Cores
Winston: Revisiting iterative compilation for WCET minimization
Feasibility Analysis of Conditional DAG Tasks is co-NPNP-Hard
GALLOP: toward high-performance connectivity for closing control loops over multi-hop wireless networks
Adaptive Scheduling for Real-Time Control
19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings
Leveraging transactional memory for a predictable execution of applications composed of hard real-time and best-effort tasks
On the Optimality of RM and EDF for Non-Preemptive Real-Time Harmonic Tasks
Compensating Adaptive Mixed Criticality Scheduling
Fine-grained multiprocessor real-time locking with improved blocking
Optimising task layout to increase schedulability via reduced cache related pre-emption delays
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling
Worst-case performance validation of safety-critical control systems with dropped samples
TEECheck: Securing Intra-Vehicular Communication Using Trusted Execution
A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata
The scheduling problem of self-suspending periodic real-time tasks
A Performance Evaluation of QUIC in Real-Time Networks
Proceedings of the 27th International Conference on Real-Time Networks and Systems, RTNS 2019, Toulouse, France, November 06-08, 2019
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation
22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014
Temporal bounds verication of the STIMAP protocol
Establishing Confidence and Understanding Uncertainty in Real-Time Systems
Requirement specification and model-checking of a real-time scheduler implementation
Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations
A Generalized Digraph Model for Expressing Dependencies