yusuke1997/dblp-id-title huggingface dataset:
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)
Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware
Real-Time Performance Analysis of Processing Systems on ROS 2 Executors
Chaos: a System for Criticality-Aware, Multi-Core Coordination
Modeling, Evaluation, and Adaptive Control of an Instrumentation System
Minimising Task Migration and Priority Changes in Mode Transitions
Poster Abstract: Scheduling Multi-Threaded Tasks to Reduce Intra-Task Cache Contention
Lightweight Modeling of Complex State Dependencies in Stream Processing Systems
Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System
ConvolutionalFixedSum: Uniformly Generating Random Values with a Fixed Sum Subject to Arbitrary Constraints
Hybrid-priority Scheduling of Resource-Sharing Sporadic Task Systems
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems
Global Multiprocessor Scheduling of Aperiodic Tasks using Time-Independent Priorities
Speeding up String Matching over Compressed Text on Handheld Devices using Tagged Sub-optimal Code (TSC)
A model and tools for supporting parallel real-time applications in Unix environments
Energy-Conscious Co-scheduling of Tasks and Packets in Wireless Real-Time Environments
Supporting the specification and analysis of timing constraints
On Quality of Service Optimization with Discrete QoS Options
A Hybrid DVS Scheme for Interactive 3D Games
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms
A Hardware Platform for Exploring Predictable Cache Coherence Protocols for Real-time Multicores
An Approach for Designing Reusable, Embedded Software Components for Spacecraft Flight Instruments
An Adaptive Striping Architecture for Flash Memory Storage Systems of Embedded System
Kernel Support for Open QoS-Aware Computing
ParRP: Enabling Space Isolation in Caches with Shared Data
Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling
Modeling Task Systems Using Parameterized Partial Orders
Resource sharing using the rollback mechanism in hierarchically scheduled real-time open systems
Efficient Response-Time Analysis for Tasks with Offsets
A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers
A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems
Building real-time music tools visually with Sonnet
Precise shared cache analysis using optimal interference placement
Diff-EDF: A Simple Mechanism for Differentiated EDF Service
Optimal Priority Assignment for Scheduling Mixed CAN and CAN-FD Frames
Active Transactions Integrated with Real-Time Transactions According to Data Freshness
An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System
Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous Driving
A Modular Worst-case Execution Time Analysis Tool for Java Processors
19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013
Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems
Ultra Low Power Granular Decision Making Using Cross Correlation: Optimizing Bit Resolution for Template Matching
Real-time communications scheduling for massively parallel processors
Dynamic CPU Management for Real-Time, Middleware-Based Systems
Statistical Performance Analysis and Estimation of Coarse Grain Parallel Multimedia Processing System
Unifying fixed- and dynamic-priority scheduling based on priority promotion and an improved ready queue management technique
Resource Sharing in Reservation-Based Systems
EMERALDS: a microkernel for embedded real-time systems
Performance-Based Design Of Distributed Real-Time System
Intelligent Power Distribution Systems: Model, Utilization Bounds, and Implementation
Brief Industry Paper: An Edge-Based High-Definition Map Crowdsourcing Task Distribution Framework for Autonomous Driving
HAEST: Harvesting Ambient Events to Synchronize Time across Heterogeneous IoT Devices
AHRB: A high-performance time-composable AMBA AHB bus
Compiler-Directed High-Performance Intermittent Computation with Power Failure Immunity
Enforcing Deadlines for Skeleton-based Parallel Programming
Power-Saving Design for Server Farms with Response Time Percentile Guarantees
Combining Offsets with Precedence Constraints to Improve Temporal Analysis of Cyclic Real-Time Streaming Applications
EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application
Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling
Probabilistic Real-Time Guarantees: There Is Life Beyond the i.i.d. Assumption (Outstanding Paper)
A new generation modechart verifie
Analysis of real-time multi-modal FP-scheduled systems with non-preemptible regions
Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures
Scheduling Distributed Real-Time Tasks in the DGMF Model
Layer-4 Service Differentiation and Resource Isolation
Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel Systems
Coordinated Search and Track by Multiple Phased Array Radars
Selecting Server Parameters for Predictable Runtime Monitoring
Feedback-based Real-time Scheduling in Autonomous Vehicle Systems
End-to-End Delay Analysis for Fixed Priority Scheduling in WirelessHART Networks
Virtualized DDS Communication for Multi-Domain Systems: Architecture and Performance Evaluation of Design Alternatives
Latency-Aware Generation of Single-Rate DAGs from Multi-Rate Task Sets
Robust Control/Scheduling Co-Design: Application to Robot Control
SPR: Shielded Processor Reservations with Bounded Management Overhead
An Event Channel-based Embedded Software Architecture for Developing Telemetric and Teleoperation Systems on the WWW
Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems
Efficient Latency Guarantees for Mixed-Criticality Networks-on-Chip
Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges
A Unified Framework for Quantitative Cache Analysis
Multi-dimensional Robustness Optimization in Heterogeneous Distributed Embedded Systems
Timing Analysis of AVB Traffic in TSN Networks Using Network Calculus
RTOS Support for Multicore Mixed-Criticality Systems
Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints
On the Fundamental Capacity and Lifetime Limits of Energy-Constrained Wireless Sensor Networks
Reservation-Based Interrupt Scheduling
Dynamic Task Scheduling and Processing Element Allocation for Multi-Function SoCs
The Thundering Herd: Amplifying Kernel Interference to Attack Response Times
Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception
Feedback-Based Dynamic Voltage and Frequency Scaling for Memory-Bound Real-Time Applications
Demo Abstract: Tooling Support for Benchmarking Timing Analysis
31st IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2025, Irvine, CA, USA, May 6-9, 2025
Cros-Rt: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in Ros 2
Consistency-Aware and Predictable Memory Processing for Safety-Critical Out-of-Order Multicores
Hijack: Taking Control of COTS Systems for Real-Time User-Level Services
Embedded Virtual Machines for Robust Wireless Control and Actuation
FPZL Schedulability Analysis
Low Contention Mapping of Real-Time Tasks onto TilePro 64 Core Processors
A Systematic Approach to Achieving Tight Worst-Case Latency and High-Performance Under Predictable Cache Coherence
Buffer Space Allocation for Real-Time Priority-Aware Networks
Poster Abstract: Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling
Towards certifiable adaptive reservations for hypervisor-based virtualization
Real-Time Client-Server Push Strategies: Specification and Evaluation
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order
Unifying DVFS and offlining in mobile multicores
A Reliable and Predictable Scratchpad-centric OS for Multi-core Embedded Systems
Incorporating Cost of Control into the Design of a Load Balancing Controller
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 24-27 September 2002, San Jose, CA, USA
Poster Abstract: Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm
Attacking the One-Out-Of-m Multicore Problem by Combining Hardware Management with Mixed-Criticality Provisioning
Slite: OS Support for Near Zero-Cost, Configurable Scheduling *
Memory Servers for Multicore Systems
On Laying Out Virtual Paths for Real-Time Message Streams in ATM Networks
Optimizing Logical Execution Time Model for Both Determinism and Low Latency
Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems
Leakage-Aware Energy-Efficient Scheduling of Real-Time Tasks in Multiprocessor Systems
Safe and Secure? On the Timing Analysability of Cryptographic Implementations
2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996
Collaborative Operating System and Compiler Power Management for Real-Time Applications
The design of an open system with distributed real-time requirements
Zygaria: Storage Performance as a Managed Resource
Timing Analysis and Priority-driven Enhancements of ROS 2 Multi-threaded Executors
Demo abstract: An energy/utility demo - Energy-aware resource scheduling under utility considerations
The MacBeth Specification, Modeling and Programming Language
Wait-Free Queue Algorithms for the Real-time Java Specification
An Approach to Automatic Detection of Software Failures in Real-Time Systems
Hiding memory latency using fixed priority scheduling
ZeroCost-LLC: Shared LLCs at No Cost to WCL
Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication
The Design and Implementation of Real-Time CORBA 2.0: Dynamic Scheduling in TAO
Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks
A Cyclic-Executive-Based QoS Guarantee over USB
29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling
Predicting thermal behavior for temperature management in time-critical multicore systems
Mesh Network Scheduling Based on Cyber-Physical Sensitivity for Wireless Control Systems
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks
Overload Tolerance for Single-Processor Workloads
Timing Analysis on a Processor with Temperature-Controlled Speed Scaling
Making Android Run on Time
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks
An Engineering Approach to Determining Sampling Rates for Switches and Sensors in Real-Time Systems
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
WCET Analysis with MRU Caches: Challenging LRU for Predictability
Multi-moded Resource Reservations
A Distributed Real-Time Embedded Application for Surveillance, Detection, and Tracking of Time Critical Targets
Efficient Run-Time Monitoring of Timing Constraints
Application-Driven Optimization of VLIW Architectures: A Hardware-Software Approach
Energy-aware partitioning of tasks onto a heterogeneous multi-core platform
Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time Systems
Slow and Steady: Measuring and Tuning Multicore Interference
CARSS: Client-Aware Resource Sharing and Scheduling for Heterogeneous Applications
Poster Abstract: Slot-Level Time-Triggered Scheduling on COTS Multicore Platform with Resource Contentions
Mechanical verification of timed automata: a case study
Practical Principle of Least Privilege for Secure Embedded Systems
Semi-partitioned Fixed-Priority Scheduling on Multiprocessors
Analyzing Multimedia Traffic in Real-Time ATM Networks
Time Slot Allocation for Real-Time Messages with Negotiable Distance Constrains
Network-Code Machine: Programmable Real-Time Communication Schedules
Regular Specifications of Resource Requirements for Embedded Control Software
Online Control for Self-Management in Computing Systems
VPN Gateways over Network Processors: Implementation and Evaluation
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31 - June 2, 2000
Relaxing the synchronous approach for mixed-criticality systems
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS
Implementing Traffic Shaping and Link Scheduling on a High-Performance Server
A Model and Methodology for Composition QoS Analysis of Embedded Systems
Incremental Satisfiability Counting for Real-Time Systems
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, RTAS'99, Vancouver, British Columbia, Canada, June 2-4, 1999
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design
A Summary of Communication Middleware Requirements for Advanced Shipboard Computing Systems
Nip it in the Bud: Job Acceptance Multi-Server
Broadcast on Demand: Efficient and Timely Dissemination of Data in Mobile Environments
A Dynamic Real-Time Benchmark for Assessment of QoS and Resource Management Technology
Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
A real-time system description language
METERG: Measurement-Based End-to-End Performance Estimation Technique in QoS-Capable Multiprocessors
Silverline: Lightweight Virtualization and Orchestration of Distributed Systems
Efficient On-Line Schedulability Tests for Priority Driven Real-Time Systems
FJOS: Practical, predictable, and efficient system support for fork/join parallelism
Demo Abstract: RT-WPCN: A Multi-hop Real-time Wireless Powered Communication Network
Energy-Efficient Real-Time Heterogeneous Server Clusters
Template-Based Real-Time Dwell Scheduling with Energy Constraint
Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems
On confidentiality-preserving real-time locking protocols
Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis
Integrated CORBA Scheduling and Resource Management for Distributed Real-Time Embedded Systems
Bounding memory interference delay in COTS-based multi-core systems
Formal Verification of the MetaH Executive Using Linear Hybrid Automata
Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Out-of-Norm Assertions
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network
End-To-End Timing Analysis and Optimization of Multi-Executor ROS 2 Systems
RTNF: Predictable Latency for Network Function Virtualization
Poster Abstract: Cache Persistence Aware Response Time Analysis for Fixed Priority Preemptive Systems
Reverse-engineering embedded memory controllers through latency-based analysis
A Performance Estimation Tool for Video Applications
Optimizing the FPGA Implementation of HRT Systems
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems
Brief Industry Paper: HDAD: Hyperdimensional Computing-based Anomaly Detection for Automotive Sensor Attacks
Energy Management under General Task-Level Reliability Constraints
Denial-of-Service Attacks on Shared Cache in Multicore: Analysis and Prevention
Dispatch Sequences for Embedded Control Models
Work in Progress: Network Attack Detection Towards Smart Factory
Scheduling Analysis under Fault Bursts
SBIs: Application Access to Safe, Baremetal Interrupt Latencies *
Parcus: Energy-Aware and Robust Parallelization of AUTOSAR Legacy Applications
Improving the efficiency of supervision by software through state aggregation
Architecture-parametric timing analysis
Real-Time Distributed Discrete-Event Execution with Fault Tolerance
Demo abstract: A multithreaded arduino system for embedded computing
Work In Progress: A New Task Model for Real-Time DNNs over GPU
Watchdog: Confident Event Detection in Heterogeneous Sensor Networks
Insert & Save: Energy Optimization in IP Core Integration for FPGA-based Real-time Systems
Self-Aware Scheduling for Mixed-Criticality Component-Based Systems
A Wakeup Scheme for Sensor Networks: Achieving Balance between Energy Saving and End-to-end Delay
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
Fault-Tolerant Mapping of Real-Time Parallel Applications under multiple DVFS schemes
A dynamically adaptable real time data acquisition and display system
Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators
Timing-Anomaly Free Dynamic Scheduling of Task-Based Parallel Applications
Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-Based Partitioning Approaches
Soft Real-Time Scheduling in Google Earth
Fully Distributed Wireless MAC Transmission of Real-Time Data
Multicore scheduling of parallel real-time tasks with multiple parallelization options
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling
On Time-Aware Instrumentation of Programs
Policing Offloaded
A Hybrid Approach to WCTT Analysis in a Real-Time Switched Ethernet Network
Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding
Scheduling multimedia applications under overload and non-deterministic conditions
Modeling Contention Interference in Crossbar-based Systems via Sequence-Aware Pairing (SeAP)
Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling
An efficient configuration methodology for time-division multiplexed single resources
Schedulability Analysis of MSC-based System Models
Putting fixed priority scheduling theory into engineering practice for safety critical applications
Prioritizing soft real-time network traffic in virtualized hosts based on Xen
Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness
The Performance Trade-offs of Implementing a Large Scale Real-Time Application Using the Windows NT Operating System
A framework for simulation of concurrency control policy in real-time systems
Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
A network virtualization approach for performance isolation in controller area network (CAN)
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA
Realizing Compositional Scheduling through Virtualization
A Responsiveness Approach for Scheduling Fault Recovery in Real-Time Systems
PiCAS: New Design of Priority-Driven Chain-Aware Scheduling for ROS2
Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation
Demo abstract: Multi-modal scheduling of radar-based cruise control system
Work in Progress: Role-based Deep Reinforcement Learning with Information Sharing for Intelligent Unmanned Systems
dOSEK: the design and implementation of a dependability-oriented static embedded kernel
An Application of Complex Task Modeling
Janus: OS Support for a Secure, Fast Control-Plane
Reliable and Real-Time Communication in Industrial Wireless Mesh Networks
An Evaluation of the NVIDIA TX1 for Supporting Real-Time Computer-Vision Workloads
Do Not Overpay for Fault Tolerance!
Real-Time Object Detection System with Multi-Path Neural Networks
Work in Progress: Heart Disease Detection Methodology using E-Stethoscope
Bounding Worst Case Garbage Collection Time for Embedded Real-Time Systems
Partial Program Admission
OpenUVR: an Open-Source System Framework for Untethered Virtual Reality Applications
Transmission of Aggregate VoD Streams Using Playback Rate
Demo Abstract: A Cross-Device Testing and Reporting System for Large-Scale Real-Time Wireless Networks
Scheduling Messages with Deadlines in Multi-Hop Real-Time Sensor Networks
Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model
An Interface Algebra for Real-Time Components
vCAT: Dynamic Cache Management Using CAT Virtualization
Optimizing the Multitask Implementation of Multirate Simulink Models
Towards a Synchronous Scheduling Service on Top of a Unicast Distributed Real-Time Java
Defects of the POSIX Sporadic Server and How to Correct Them
Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks
Mining Task Precedence Graphs from Real-Time Embedded System Traces
Adaptive Buffer Sensitive Scheduling for Transmitting Video Streams in a Mobile Multimedia System
Admission Control for Soft-Transactions in ACCORD
Integrating cache related pre-emption delay analysis into EDF scheduling
Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems
Enhancing Feedback Control Scheduling Performance by On-line Quantification and Suppression of Measurement Disturbance
Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks
Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions
Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code
Integration of CORBA Services with a Dynamic Real-Time Architecture
Reliability-Aware Energy Management for Periodic Real-Time Tasks
Supporting Dynamic QoS in Linux
Work-in-Progress: RWS - A Roulette Wheel Scheduler for Preventing Execution Pattern Leakage
Work in Progress: Identifying Unexpected Inter-core Interference Induced by Shared Cache
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis
IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2020, Sydney, Australia, April 21-24, 2020
Storage Access Support for Soft Real-Time Applications
Tighter Timing Predictions by Automatic Detection and Exploitation of Value-Dependent Constraints
An Empirical Study of Performance Interference: Timing Violation Patterns and Impacts
Energy-Aware Task Allocation for Rate Monotonic Scheduling
Optimizing deterministic garbage collection in NAND flash storage systems
Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors
An Improved Global EDF Schedulability Test for Uniform Multiprocessors
PIFA: An Intelligent Phase Identification and Frequency Adjustment Framework for Time-Sensitive Mobile Computing
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016
ARCH: Practical Channel Hopping for Reliable Home-Area Sensor Networks
Work In Progress: A Solution Based on Dynamic User Equilibrium Toward the Selfless Traffic Routing Model
Average Task Execution Time Minimization under (m, k) Soft Error Constraint
BASEMENT: a distributed real-time architecture for vehicle applications
Mixed-Criticality Federated Scheduling for Parallel Real-Time Tasks
Real-time optimization at diamond interchanges
The design and implementation of a Real-Time Object Management Interface
End-Host Architecture for QoS-Adaptive Communication
Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions
DistributedHART: A Distributed Real-Time Scheduling System for WirelessHART Networks
Towards a Real-Time Wireless Powered Communication Network: Design, Implementation and Evaluation
Virtualizing Disk Performance
Energy-driven proportional fair scheduling for industrial measurement devices