yusuke1997/dblp-id-title huggingface dataset:
An Approach to Platform Independent Real-Time Programming: (2) Practical Application
Federated scheduling admits no constant speedup factors for constrained-deadline DAG task systems
Comparative Evaluation of High-Level Real-Time Programming Languages
Design and analyses of functional mode changes for mixed-criticality systems
Memory-centric scheduling for multicore hard real-time systems
Model predictive control under timing constraints induced by controller area networks
Fault-Tolerant Rate-Monotonic Scheduling
To MILP or not to MILP? On AI techniques for the design and optimization of real-time systems
Guaranteeing Response Times for Aperiodic Tasks in Global Multiprocessor Scheduling
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling
A Retargetable Technique for Predicting Execution Time of Code Segments
Responsive, Deterministic IEEE 802.5 Token Ring Scheduling
High-assurance timing analysis for a high-assurance real-time operating system
Specification, Mapping and Control for QoS Adaptation
A timeband framework for modelling real-time systems
Generalized Multiframe Tasks
Guest editorial: special issue on the Real-Time and Network Systems (RTNS 2009) conference
Connecting the physical space and cyber space of autonomous systems more closely
Learning-assisted schedulability analysis: opportunities and limitations
Cache-Conscious Limited Preemptive Scheduling
Report of the First European Dependable Computing Conference EDCC-1
An analysis of global edf schedulability for arbitrary-deadline sporadic task systems
Cluster scheduling for real-time systems: utilization bounds and run-time overhead
Guest editorial: special issue on the Real-Time Systems Symposium 2017
Feedback EDF Scheduling of Real-Time Tasks Exploiting Dynamic Voltage Scaling
Pre-Scheduling
Resource Reservation in Dynamic Real-Time Systems
The shape of a DAG: bounding the response time using long paths
Scheduling of Offset Free Systems
Resource and performance trade-offs in real-time embedded control systems
Shared resources in multiprocessor real-time systems scheduled by RUN
Global Control of Robotic Highway Safety Markers: A Real-time Solution
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling
A Compact Task Graph Representation for Real-Time Scheduling
Real-time worst-case temperature analysis with temperature-dependent parameters
Time-sensitive autonomous architectures
A DVS-assisted hard real-time I/O device scheduling algorithm
A Model for Scheduling of Object-Based, Distributed Real-Time Systems
Feasibility analysis of real-time transactions
A Study on the timeliness Property in Real-Time Systems
On Tasks Synchronization with the MMS Protocol
A Software-Reuse Approach to Build Monitor Programs for Soft Real-Time Applications
Parameter adaptation for generalized multiframe tasks: schedulability analysis, case study, and applications to self-suspending tasks
Guest Editorial: Special issue on formal modeling and analysis of timed systems
State-based scheduling with tree schedules: analysis and evaluation
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems
Analysis and implementation of the multiprocessor bandwidth inheritance protocol
Dynamic Scheduling of Real-Time Tasks under Precedence Constraints
Static probabilistic timing analysis for real-time systems using random replacement caches
Approximation algorithms for scheduling real-time jobs with multiple feasible intervals
A formal framework to design and prove trustworthy memory controllers
Scheduling and Priority Mapping for Static Real-Time Middleware
Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example
Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays
QoC elastic scheduling for real-time control systems
Architecture and analysis of a dynamically-scheduled real-time memory controller
Triggered Updates for Temporal Consistency in Real-Time Databases
An implicit GTS allocation mechanism in IEEE 802.15.4 for time-sensitive wireless sensor networks: theory and practice
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems
Challenges of neural network accelerators for aeronautics - position paper
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Timed High-Level Nets
Integrating security constraints into fixed priority real-time schedulers
When machine learning and neural networks marry real-time scheduling
Tardiness bounds for fixed-priority global scheduling without intra-task precedence constraints
Enhancing a dependable multiserver operating system with temporal protection via resource reservations
Mode Change Protocols for Priority-Driven Preemptive Scheduling
Hard Real-Time Communication in Multiple-Access Networks
Transaction Scheduling in Distributed Real-Time Systems
Object Caching and Prefetching in Distributed Virtual Walkthrough
Exploiting slack time for just-in-time scheduling in wireless sensor networks
BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications
Implementation of Hard Real-Time Embedded Control Systems
Formal verification of real-time systems with preemptive scheduling
A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees
A framework for memory contention analysis in multi-core platforms
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems
A parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDF
Using machine learning for timing analysis: where do we stand?
Dynamic budget management and budget reclamation for mixed-criticality systems
Techniques for LAN Performance Analysis in a Real-Time Environment
Criticality: static profiling for real-time programs
A framework for multi-core schedulability analysis accounting for resource stress and sensitivity
A Task Model to Reduce Control Delays
Computing periodic request functions to speed-up the analysis of non-cyclic task models
Flexible Soft Real-Time Processing in Middleware
Online QoS Optimization Using Service Classes in Surveillance Radar Systems
End-to-end latency characterization of task communication models for automotive systems
Causal Delivery of Messages with Real-Time Data in Unreliable Networks
ChamelIoT: a tightly- and loosely-coupled hardware-assisted OS framework for low-end IoT devices
Scheduling Aperiodic Tasks in Dynamic Priority Systems
The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems
Timing-aware analysis of shared cache interference for non-preemptive scheduling
Cache-aware timing analysis of streaming applications
Real-Time Schedulability Tests for Preemptive Multitasking
An Historical Survey of Early Real-Time Computing Developments in the U.S
Enforceable component-based realtime contracts
Toward predictable AI-based real-time systems
Real-Time Performance of Sorting Algorithms
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
Utilization Bounds for N-Processor Rate Monotone Scheduling with Static Processor Assignment
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems
Guest Editorial - RTNS 2014
Analysis of preemption costs for the stack cache
rt-muse: measuring real-time characteristics of execution platforms
Graph-based models for real-time workload: a survey
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems
Special issue on real-time scheduling on heterogeneous platforms
Robust priority assignment for messages on Controller Area Network (CAN)
Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks
Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-time Systems
Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines
Multi-core real-time scheduling for generalized parallel task models
Compiler-level DMA-aware multi-objective dynamic SPM allocation
Adaptive Workload Management through Elastic Scheduling
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol
An analysis method for variable execution time tasks based on histograms
Delay composition in preemptive and non-preemptive real-time pipelines
Multi-Topology Routing based traffic optimization for IEEE 802.1 Time Sensitive Networking
Dynamic Dispatching of Cyclic Real-Time Tasks with Relative Timing Constraints
An extensible framework for multicore response time analysis
Schedulability analysis of a graph-based task model for mixed-criticality systems
A schedule randomization policy to mitigate timing attacks in WirelessHART networks
A Verifier for Real-Time Properties
Applying Trajectory approach with static priority queuing for improving the use of available AFDX resources
The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks
LyraNET: A zero-copy TCP/IP protocol stack for embedded systems
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design
Hybrid power management in real time embedded systems: an interplay of DVFS and DPM techniques
Preface to the Special Issue on "The Engineering of Complex Real-Time Computer Control Systems"
Analysis techniques for supporting hard real-time sporadic gang task systems
Synchronous Atomic Broadcast for Redundant Broadcast Channels
TDBS: a time division beacon scheduling mechanism for ZigBee cluster-tree wireless sensor networks
Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory
Response-time analysis for fixed-priority systems with a write-back cache
Profile-driven memory bandwidth management for accelerators and CPUs in QoS-enabled platforms
DESH: overhead reduction algorithms for deferrable scheduling
Architectural Foundations for Real-Time Performance in Intelligent Agents
Real-Time Reactions in Supervisory Control According to Data Freshness
Editorial on the special issue of RTNS 2020
Stochastic analysis of real-time systems under preemptive priority-driven scheduling
Special issue of the Euromicro Conference on Real-Time Systems (ECRTS)
An Analysis of Fixed-Priority Schedulability on a Multiprocessor
Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs
Exploring AMD GPU scheduling details by experimenting with "worst practices"
Analysis of Hard Real-Time Communications
IPTES: A Concurrent Engineering Approach for Real-Time Software Development
Resource Management for Stochastic Parallel Synchronous Tasks: Bandits to the Rescue
Energy efficient scheduling for real-time embedded systems with QoS guarantee
Experimental evaluation of linear time-invariant models for feedback performance control in real-time systems
Object Oriented Design for Real-Time Systems-Response to C. E. Pereira's Contribution
On-line and post-processing timestamp correspondence for free-running clock nodes, using a network clock
Dynamic voltage scaling under EDF revisited
Handling Real-Time Communication Constraints in a Mobile Station used for the Pan European Digital Mobile Communication Network
Priority Inheritance in Soft Real-Time Databases
Fair lateness scheduling: reducing maximum lateness in G-EDF-like scheduling
QoS Management Through Adaptive Reservations
Dynamic power management under the RUN scheduling algorithm: a slack filling approach
Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound
Compositional Reasoning about Responsive Systems with Limited Resources
Implementation and analysis of real-time communication protocol compositions
The Design and Performance of a Real-Time CORBA Scheduling Service
The partitioned dynamic-priority scheduling of sporadic task systems
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms
Slack-based multiprocessor scheduling of aperiodic real-time tasks
Scalable and precise refinement of cache timing analysis via path-sensitive verification
Hard real-time application mapping reconfiguration for NoC-based many-core systems
Clairvoyance and online scheduling in real-time energy harvesting systems
Fail-Awareness: An Approach to Construct Fail-Safe Systems
Special issue on scheduling and timing analysis for advanced real-time systems
Efficient and Precise Cache Behavior Prediction for Real-Time Systems
Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasks
The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping
The Spring System: Integrated Support for Complex Real-Time Systems
Cello: A Disk Scheduling Framework for Next Generation Operating Systems
Feasibility analysis under fixed priority scheduling with limited preemptions
Analysis of Worst Case DMA Response Time in a Fixed-Priority Bus Arbitration Protocol
Optimal Real-Time Scheduling with Minimal Rejections and Minimal Finishing Time
Off-line mapping of multi-rate dependent task sets to many-core platforms
Safety-critical Java programs from Circus models
Performance Evaluation of Two New Disk Scheduling algorithms for Real-Time Systems
Timely ML
Mixed-criticality federated scheduling for parallel real-time tasks
Resource sharing among real-time components under multiprocessor clustered scheduling
Application of the Genetic Algorithm to Real-Time Active Noise Control
Decomposition in Real-Time Safety-Critical Systems
An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution
Worst case response time analysis for completely fair scheduling in Linux systems
Guest Editorial: A Review of Worst-Case Execution-Time Analysis
Task reweighting under global scheduling on multiprocessors
Forecasting Real-Time Behavior During Software Design using a CASE Environment
A Network Time Interface M-Module for Distributing GPS-Time over LANs
Tools for Specifying Real-Time Systems
Partitioned EDF scheduling on a few types of unrelated multiprocessors
Efficient verification of distributed real-time systems with broadcasting behaviors
FPSL, FPCL and FPZL schedulability analysis
Performance guarantees in dynamic networks and graph algorithms
A Partial Evaluator for the Maruti Hard Real-Time System
A survey on real-time DAG scheduling, revisiting the Global-Partitioned Infinity War
A middleware model supporting time-triggered message-triggered objects for standard Linux systems
Feasibility Analysis of Real-Time Periodic Tasks with Offsets
Timing predictability of cache replacement policies
Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
DP-Fair: a unifying theory for optimal hard real-time multiprocessor scheduling
Worst Case Execution Time Analysis for a Processor with Branch Prediction
On the Scheduling of Flexible and Reliable Real-Time Control Systems
Priority-based scheduling of mixed-critical jobs
Energy-optimal Batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study
Cost enforcement in the real-time specification for Java
Distributed Execution of Specifications
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound
A real-time configurable synchronization protocol for self-suspending process sets
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems
Preface to special issue on adaptive embedded systems
An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks
Tardiness bounds under global EDF scheduling on a multiprocessor
Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing
Real-time scheduling algorithm for safety-critical systems on faulty multicore environments
Guest editorial: special issue on real time and network systems
Task Behavior Monitoring for Adaptive Real-Time Communication
Rate monotonic schedulability tests using period-dependent conditions
Dataflow Computer Extension Towards Real-Time Processing
Making DRAM refresh predictable
Replication Management in Reliable Real-Time Systems
On Developing Distributed Middleware Services for QoS- and Criticality-Based Resource Negotiation and Adaptation
Laxity dynamics and LLF schedulability analysis on multiprocessor platforms
Enhancing timeliness and saving power in real-time databases
Real-Time Access Control and Reservation on B-Tree Indexed Data
Efficient offline scheduling of task-sets with complex constraints on large distributed time-triggered systems
Combining Static Worst-Case Timing Analysis and Program Proof
Integrated QoS-aware resource management and scheduling with multi-resource constraints
Temporal Modeling of Real-Time Communication Protocols Based on a Process/Channel Approach
Integrating Priority with Share in the Priority-Based Weighted Fair Queuing Scheduler for Real-Time Networks
Schedulable garbage collection in CLI virtual execution system
An Approach to Platform Independent Real-Time Programming: (1) Formal Description
A Hierarchical Approach to Systems with Heterogeneous Real-Time Requirements
Multi-core interference over-estimation reduction by static scheduling of multi-phase tasks
Software Architectures for Reducing Priority Inversion and Non-determinism in Real-time Object Request Brokers
Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
Addressing isolation challenges of non-blocking caches for multicore real-time systems
Optimal harmonic period assignment: complexity results and approximation algorithms
MemPol: polling-based microsecond-scale per-core memory bandwidth regulation
Patmos: a time-predictable microprocessor
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
Open Embedded Control
A Computation Method for Providing Statistical Performance Guarantee to an ATM Switch
Provably good multiprocessor scheduling with resource sharing
A QoS-Enabled Transmission Scheme for MPEG Video Streaming
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Measuring the Performance of Schedulability Tests
Software Architecture for Hard Real-Time Applications: Cyclic Executives vs. Fixed Priority Executives
A Method for Computing the Number of Iterations in Data Dependent Loops
The Real-Time Systems journal and the challenges ahead
Aperiodic Servers in a Deadline Scheduling Environment
Research directions for real-time implementation of AI algorithms
Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them
Diagnostics and Surveillance Methods in Nuclear Systems for Real-Time Applications
global Cyclic Scheduling: A Method to Guarantee the Timing Behavior of Distributed Real-Time Systems
Algorithms and Optimality of Scheduling Soft Aperiodic Requests in Fixed-Priority Preemptive Systems
Synergos-Synergetic Vision Research
Sensitivity analysis of complex embedded real-time systems
Editorial: Special issue on real-time wireless sensor networks
Guest editorial: real time systems resource management
An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling
Conference Announcement: NATO Study Institute (ASI) on Real-Time Computing
Schedulability analysis and task mapping for real-time on-chip communication
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
Evaluating the Expressive Power of the Real-Time Specification for Java
Flexible hard real-time scheduling for deliberative AI systems
EDZL scheduling analysis
Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction
Configuration optimization for heterogeneous time-sensitive networks
Special issue on reliable data transmission in real-time systems
Maintaining thermal comfort in buildings: feasibility, algorithms, implementation, evaluation
Calculating the Maximum Execution Time of Real-Time Programs
The TTA's Approach to Resilience after Transient Upsets
A novel view on bounding execution demand under mixed-criticality EDF
The Valid Use of Utility in Adaptive Real-Time Systems
A Survey of Research in Deliberative Real-Time Artificial Intelligence
Towards a Stable Earliest Deadline Scheduling Algorithm
A statistics-based sensor selection scheme for continuous probabilistic queries in sensor networks
Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification
Hardware design of a new genetic based disk scheduling method
Causal Delivery Protocols in Real-time Systems: A Generic Model
Bounding and reducing memory interference in COTS-based multi-core systems
A note on slack enforcement mechanisms for self-suspending tasks
Modelling computational requirements of mobile robotic systems using zones and processing windows
A Traffic Generator for Testing Communication Systems: Presentation, Implementation and Performance
Processing element allocation and dynamic scheduling codesign for multi-function SoCs
Guest editorial: special issue of the Euromicro Conference on Real-Time Systems (ECRTS 2009)
Hierarchical control of multiple resources in distributed real-time and embedded systems
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter
Priority Scheduling of Transactions in Distributed Real-Time Databases
Replica Determinism in Distributed Real-Time Systems: A Brief Survey
Thermal-aware task allocation and scheduling for periodic real-time applications in mesh-based heterogeneous NoCs
Handling mixed sets of tasks in combined offline and online scheduled real-time systems
Multiprocessor extensions to real-time calculus
Scheduling real-time divisible loads with advance reservations
Hartstone Uniprocessor Benchmark: Definitions and Experiments for Real-Time Systems
Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms
Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources
Analysis of Checkpointing for Real-Time Systems
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
Least Suffering Strategy in Distributed Real-Time Programming Language DROL
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
Response time analysis for fixed priority real-time systems with energy-harvesting
Design and Programming Tools for Time Critical Applications
Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks
The space of EDF deadlines: the exact region and a convex approximation
Erratum to: Improved response-time bounds in fixed priority scheduling with arbitrary deadlines
Guest Editorial: Introduction to the Special Issue
Optimal virtual cluster-based multiprocessor scheduling
Guest Editorial: Special issue on outstanding papers from RTNS 2019
A time-predictable VLIW processor and its compiler support
Formal verification of multitasking applications based on timed automata model
A framework for modular analysis and exploration of heterogeneous embedded systems
Analysis and elimination of noise-induced temperature error in processor thermal control
Critical Issues in Object-Oriented Real-Time Systems - A Guided Panel Discussion
Characterizing global work-conserving scheduling tardiness with uniform instances on multiprocessors
M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms
Enhancing O-O Middleware to Become Time-Aware
On scheduling garbage collector in dynamic real-time systems with statistical timing assurances
Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints
Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems