yusuke1997/dblp-id-title huggingface dataset:
Putting RUN into Practice: Implementation and Evaluation
Impact of DM-LRU on WCET: A Static Analysis Approach
Resource Management for Control Tasks Based on the Transient Dynamics of Closed-Loop Systems
Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus
Practical Schedulability Analysis for Generalized Sporadic Tasks in Distributed Real-Time Systems
A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP
Preemption Points Placement for Sporadic Task Sets
WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems
Extracting lines, circular segments and clusters from radar pictures in real time for an autonomous mobile robot
Deriving Monitoring Bounds for Distributed Real-Time Systems
Outstanding Paper Award: Task Assignment Algorithms for Two-Type Heterogeneous Multiprocessors
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software
DP-FAIR: A Simple Model for Understanding Optimal Multiprocessor Scheduling
Controller Area Network (CAN) Schedulability Analysis with FIFO Queues
Turning Futexes Inside-Out: Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP
The Global EDF Scheduling of Systems of Conditional Sporadic DAG Tasks
Hard real-time prototyping of SA/RT specifications
U-EDF: An Unfair But Optimal Multiprocessor Scheduling Algorithm for Sporadic Tasks
A Rank-Switching, Open-Row DRAM Controller for Time-Predictable Systems
Effective Implementation of ESTEREL programs
Tool-supported hierarchical design of distributed real-time systems
Fastchart-a fast time deterministic CPU and hardware based real-time-kernel
A general framework for applying safety analysis to safety critical real-time applications using fault trees
Characterization of blocking time in real-time systems with dynamic priority ceilings
A Distributed Computer Testbed for Real-Time Control of Machinery
Scheduling critical and sensitiue tasks with remote requests in mission-critical systems
Dynamic replacement of software in hard real-time systems
Analysis of Memory-Contention in Heterogeneous COTS MPSoCs
Scheduling in a hard real-time system with shared resources
Response Time Bounds for DAG Tasks with Arbitrary Intra-Task Priority Assignment
23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011
GCAPS: GPU Context-Aware Preemptive Priority-Based Scheduling for Real-Time Tasks
Real-Time Disk Scheduling for Block-Stripping I2O RAID
17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings
The case for feedback control real-time scheduling
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling
MSC+: From Requirement to Prototyped Systems
Is Semi-Partitioned Scheduling Practical?
Object-based design of embedded software using real-time operating systems
Scheduling Offset-Free Systems Under FIFO Priority Protocol
The Symbolic Model-Checking for Real-Time Systems
Adaptation and graceful degradation of control system performance by task reallocation and period adjustment
Real-time recursive procedures
On How to Identify Cache Coherence: Case of the NXP QorIQ T4240
Portable worst-case execution time analysis using Java Byte Code
Schedulability Analysis of Window-Constrained Execution Time Tasks for Real-Time Control
Mixed Pfair/ERfair Scheduling of Asynchronous Periodic Tasks
Color-based visualisation of hard real-time prototyping
Automatic detection of software failures: issues and experience
Recovery Time Considerations in Real-Time Systems Employing Software Fault Tolerance
Hybrid EDF Packet Scheduling for Real-Time Distributed Systems
Real-Time Requirement of Media Control Applications
Hierarchical Utilization Control for Real-Time and Resilient Power Grid
Predictable Runtime Monitoring
Towards refinement in realtime programming
Specialised architecture of dedicated hardware processors for real-time image data pre-processing
Resource Partitioning among Real-Time Applications
Architectural abstractions and time modelling in HyperReal
Analysis of EDF for Real-Time Multiprocessor Systems with Resource Sharing
Using Supertasks to Improve Processor Utilization in Multiprocessor Real-Time Systems
Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
Hybrid algorithms for dynamic schedulability testing
Three Obstacles to Flexible Scheduling
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
31st Euromicro Conference on Real-Time Systems, ECRTS 2019, Stuttgart, Germany, July 9-12, 2019
A Delay Composition Theorem for Real-Time Pipelines
Global-EDF Scheduling of Multimode Real-Time Systems Considering Mode Independent Tasks
26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014
Albatross - The communication scheme as a key to fulfil hard real-time constraints
MicroFaultTolerant (μFT)-a system for achieving cost effective fault tolerance in microcontroller based equipment
A distributed implementation of a mode switching control program
Continuous Real Time Models in Practice
FASTCHART - Performance, Benefits and Disadvantages of the Architecture
CPU Energy-Aware Parallel Real-Time Scheduling
QoS Control Strategies for High-Quality Video Processing
On Controllability and Feasibility of Utilization Control in Distributed Real-Time Systems
Write-Back Caches in WCET Analysis
Evaluation of Real-Time and Embedded Systems for Monitoring and Optimizing Industrial Processes Using High-Performance Computing
Thermal Faults Modeling Using a RC Model with an Application to Web Farms
Research Opportunities in the IST Thematic Priority of the 7th Framework Program
Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller
4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, CERTS@ECRTS 2019, Stuttgart, Germany, July 9, 2019
Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems
Transformation of Path Information for WCET Analysis during Compilation
On-Line Scheduling Algorithm for the Gravitational Task Model
Using Quantile Regression in Neural Networks for Contention Prediction in Multicore Processors
Weakly Hard Real-time Constraints on Controller Area Network
Time-Aware Utility-Based QoS Optimisation
Scheduling complex real-time tasks in an embedded distributed system
Analysis of Federated and Global Scheduling for Parallel Real-Time Tasks
19th Euromicro Conference on Real-Time Systems, ECRTS'07, 4-6 July 2007, Pisa, Italy, Proceedings
The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems
Hierarchical Control of Multiple Resources in Distributed Real-time and Embedded Systems
13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings
Backlog Estimation and Management for Real-Time Data Services
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems
Executing Aperiodic Jobs in a Multiprocessor Constant-Bandwidth Server Implementation
A Tool for the Computation of Worst Case Task Execution Times
On Fault-Tolerant Scheduling of Time Sensitive Networks
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems
Memory Latency Distribution-Driven Regulation for Temporal Isolation in MPSoCs
Model-checking real-time control programs: verifying Lego(R) Mindstorms TM systems using UPPAAL
Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems
On a Theory of Media Processing Systems Behavior, with Applications
Optimal deadline assignment for periodic real-time tasks in dynamic priority systems
Mixed-Criticality Scheduling with Dynamic Redistribution of Shared Cache
FSR-a fair switching architecture
An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems
Algorithms for scheduling computations with secondary deadlines to minimize penalty
Object-oriented enhancement of real-time software using a heterogeneous re-engineering approach
A Gravitational Task Model for Target Sensitive Real-Time Applications
WCET Analysis of Reusable Portable Code
Distributed real-time task monitoring in the safety-critical system Melody
Slot-Based Transmission Protocol for Real-Time NoCs - SBT-NoC
Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling
AIRS: Supporting Interactive Real-Time Applications on Multicore Platforms
Leveraging Hardware QoS to Control Contention in the Xilinx Zynq UltraScale+ MPSoC
A performance study of several CSMA protocols for time constrained applications
A scheme for scheduling hard real-time applications in open system environment
CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers
Formally specified monitoring of temporal properties
Avoiding Pitfalls when Using NVIDIA GPUs for Real-Time Tasks in Autonomous Systems
HyperReal One: the implementation, the environment and an example
Quantifying the Sub-optimality of Non-preemptive Real-Time Scheduling
Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems
Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems
Minimizing Cache Overhead via Loaded Cache Blocks and Preemption Placement
Efficient Scheduling of Soft Real-Time Applications on Multiprocessors
Elastic feedback control
Test Generation for Time Critical Systems: Tool and Case Study
Customer Oriented Requirements Analysis of Real-Time Systems
Pilot Specific Realtime World Modeling for an Autonomous Mobile Robot using heterogeneous Sensor Information
10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 17-19 June 1998, berlin, Germany, Proceedings
Transforming designs towards implementations
A graphical tool for specification of reactive systems
Dynamic Interference-Sensitive Run-time Adaptation of Time-Triggered Schedules
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
EDZL Scheduling Analysis
An Integrated Scheduling and Retransmission Proposal for Firm Real-Time Traffic in IEEE 802.11e
Comparing Real-Time Communication Under Electromagnetic Interference
Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems
Worst-Case Blocking Scenarios for Distributed Real-Time Programs
A Variable Rate Execution Model
Models for Real-Time Supervision
A Near-Optimal Algorithm for Scheduling Soft-Aperiodic Requests in Dynamic Priority Systems
An adaptable security manager for real-time transactions
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
Outstanding Paper Award: Making Shared Caches More Predictable on Multicore Platforms
Minimizing DRAM Rank Switching Overhead for Improved Timing Bounds and Performance
Makespan Computation for GPU Threads Running on a Single Streaming Multiprocessor
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines
Scalable Utility Aware Scheduling Heuristics for Real-time Tasks with Stochastic Non-preemptive Execution Intervals
Constant-Time Admission Control for Partitioned EDF
On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks
Scheduling Tasks with Markov-Chain Based Constraints
On Relaxing Task Isolation in Overrun Handling to Provide Probabilistic Guarantees to Soft Real-Time Tasks with Varying Execution Times
Deterministic Memory Abstraction and Supporting Multicore System Architecture
Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing Applications
Reactive Speed Control in Temperature-Constrained Real-Time Systems
Maintaining Data Freshness in Distributed Real-Time Databases
Context Reorder Buffer: An Architectural Support for Real-Time Processing on RISC Architectures
Clock synchronization for wireless local area networks
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
The Feasibility Analysis of Multiprocessor Real-Time Systems
End-To-End Deadlines over Dynamic Topologies
On Real-Time Guarantees in Intel SGX and TDX
Tardiness Bounds for FIFO Scheduling on Multiprocessors
Predictable GPU Sharing in Component-Based Real-Time Systems
A New Approach To Real-time Transaction
Timing analysis and conditional scheduling in a real-time system design environment
Instruction Caches in Static WCET Analysis of Artificially Diversified Software
Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems
Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation
Schedulability analysis for systems with data and control dependencies
Scheduling time constrained messages on miniMAP
The End Of The Line For Static Cyclic Scheduling?
A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications
A preemptive priority-based disk I/O subsystem for the management of hard real-time disk traffic
Initial Values for On-line Response Time Calculations
Is the DQDB priority mechanism good enough for the network intended real-time applications?
ETHNOS-a real time programming environment for robotic systems
PROSA: A Case for Readable Mechanized Schedulability Analysis
A Formal Link Between Response Time Analysis and Network Calculus
Fixed Priority Timing Analysis of Real-Time Systems with Limited Parallelism
Neural Network versus Max-Flow Algorithms for Multiprocessor Real-Time Scheduling
Partitioning Parallel Applications on Multiprocessor Reservations
WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment
Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF
Increasing schedulability in distributed hard real-time systems
Implementing mode changes with shared resources in Ada
21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009
On the Design and Implementation of a Cache-Aware Multicore Real-Time Scheduler
Analysis and improvement of task schedulability in hardware/software codesign
Theoretical Foundations of Utility Accrual for Real-Time Systems
On the Scheduling of Hyperperiodic Tasks
A Modular & Retargetable Framework for Tree-Based WCET Analysis
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre
A QoS-Sensitive Approach for Timeliness and Freshness Guarantees in Real-Time Databases
Profinet IO IRT Message Scheduling
Real Time: Further Misconceptions or Half-Truths
Handling precedence constraints with neural network based real-time scheduling algorithms
Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems
A dynamic scheduling algorithm for semi-hard real-time environments
A Computation Offloading Framework for Soft Real-Time Embedded Systems
Survey of real-time and on-line diagnostic expert systems
Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts
Worst case response time analysis of hard real-time sporadic traffic in FIP networks
Predictable hard real-time scheduling
Rate monotonic scheduling of real-time control systems with the minimum number of priority levels
The Space of EDF Feasible Deadlines
An overview of TCCS
KSE: a real-time expert system to diagnose nuclear power plant failures
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System
Time Wizard: A Design and Assessment Tool for Real-Time Applications
Arbitration-Induced Preemption Delays
Low-Latency Hard Real-Time Communication over Switched Ethernet
Scheduling coprocessor for enhanced least-laxity-first scheduling in hard real-time systems
Real-time system validation by model checking in TRIO
Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA
Robust Media Processing in a Flexible and Cost-Effective Network of Multi-Tasking Coprocessors
Timing Analysis of Reliable Real-Time Communication in CAN Networks
Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers
Supporting real-time update of an environment representation for autonomous mobile robots
Exact Best-Case Response Time Analysis of Fixed Priority Scheduled Tasks
Control-System Stability Under Consecutive Deadline Misses Constraints
Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems
Generalized Tardiness Quantile Metric: Distributed DVS for Soft Real-Time Web Clusters
Mixed Criticality on Controller Area Network
The MORIS Control System
Implementation of a Speedup-Optimal Global EDF Schedulability Test
Designing for schedulability: integrating schedulability analysis with object-oriented design
A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs
18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July 2006, Dresden, Germany, Proceedings
An enhanced snoopy cache design for real-time multi-processing
Costing - Extending the Locative Logic Model of Networks
An Improved Multi-Priority Preemptive Scheduler for Transputer-Based Real-Time Systems
The FMLP+: An Asymptotically Optimal Real-Time Locking Protocol for Suspension-Aware Analysis
Modeling and scheduling real-time control systems with relative consistency constraints
Tuning Parameters to Improve a Heuristic Method: More and Better Solutions to an NP-Hard Real-Time Problem
Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems
Can production systems be applied to hard real-time applications?
Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads
Dynamic disk bandwidth management and metadata pre-fetching in a real-time file system
On using epsilon serializable locking protocol for concurrency control in real-time databases
Model Checking Process Algebra of Communicating Resources for Real-Time Systems
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
A Q-model approach to decomposition and aggregation of specifications of real-time systems
Limited Blocking Resource Sharing for Global Multiprocessor Scheduling
Static-priority scheduling of multiframe tasks
The Multiprocessor Bandwidth Inheritance Protocol
SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule
Designing Mixed Criticality Applications on Modern Heterogeneous MPSoC Platforms
Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors
Novel Methodologies for Predictable CPU-To-GPU Command Offloading
Power Saving Design for Servers under Response Time Constraint
Enhancing real-time object-oriented analysis methods
20th Euromicro Conference on Real-Time Systems, ECRTS 2008, 2-4 July 2008, Prague, Czech Republic, Proceedings
A Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines
A Communication Protocol for Hard and Soft Real-Time Systems
A Real-Time Kernel implemented in one chip
Worst-case execution times and schedulability analysis of statecharts models
A non-temporized approach for temporized analysis
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, RTS 1997, 11-13 June, 1997, Toledo, Spain
WCET-Directed Dynamic Scratchpad Memory Allocation of Data
Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints
A Polynomial-Time Algorithm for Computing Response Time Bounds in Static Priority Scheduling Employing Multi-linear Workload Bounds
Multi-Version Scheduling in Rechargeable Energy-Aware Real-Time Systems
Newthink - An Orwellian specification language for real-time safety critical systems
On the Tractability of Digraph-Based Task Models
Outstanding Paper Award: Analysis of Global EDF for Parallel Tasks
RT-CASEs: Container-Based Virtualization for Temporally Separated Mixed-Criticality Task Sets
Schedulability Analysis of Mixed-Criticality Systems on Multiprocessors
29th Euromicro Conference on Real-Time Systems, ECRTS 2017, Dubrovnik, Croatia, June 27-30, 2017
Real-Time Kernel in Hardware RTU: A Step Towards Deterministic and High-Performance Real-Time Systems
A Formal Method for Specification and Refinement of Real-Time Systems
Schedulability analysis for mode changes in flexible real-time systems
Methods for bounding end-to-end delays on an AFDX network
Pessimistic Concurrency Control and Versioning to Support Database Pointers in Real-Time Databases
Suspension-Aware Analysis for Hard Real-Time Multiprocessor Scheduling
An Object-Oriented Framework for Designing Hard Real-Time Systems
An EDF-based Scheduling Algorithm for Multiprocessor Soft Real-Time Systems
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
A prototype for interprocess communication support, in hardware
Value-density algorithms to handle transient overloads in scheduling
Advanced Hierachical Event-Stream Model
Multi-Staged Discrete Loops for Real-Time Systems
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis
A behavior analyzer for real-time and multiprocessor applications
An Optimal Semi-partitioned Scheduler for Uniform Heterogeneous Multiprocessors
A Synthetic Utilization Bound for Aperiodic Tasks with Resource Requirements
A Tight Holistic Memory Latency Bound Through Coordinated Management of Memory Resources
Speed Modulation in Energy-Aware Real-Time Systems
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems
Tight Tardiness Bounds for Pseudo-Harmonic Tasks Under Global-EDF-Like Schedulers
Partitioning of Hierarchical Automation Systems
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems
Integrating Hard/Soft Real-Time Tasks and Best-Effort Jobs on Multiprocessors
A Hyperbolic Bound for the Rate Monotonic Algorithm
Co-Scheduling Variable Execution Time Requirement Real-Time Tasks and Non Real-Time Tasks
Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies
Refinement-Based Exact Response-Time Analysis
Explicit Preemption Placement for Real-Time Conditional Code
Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip
Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution
Which sorting algorithms to choose for hard real-time applications
Optimal Multiprocessor Locking Protocols Under FIFO Scheduling
General Framework for Routing, Scheduling and Formal Timing Analysis in Deterministic Time-Aware Networks
Automotive electronics
Real-Time Systems Control Based on Object Oriented Concepts and Petri Nets
On-line schedulers for pinwheel tasks using the time-driven approach
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
An Adaptive Framework for Multiprocessor Real-Time System
Executable Object-Oriented Graphical Models of Real-Time Software
Enabling Containerisation of Distributed Applications with Real-Time Constraints
Real-Time Issues in Advanced Robotics Applications
The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF
Real-Time Divisible Load Schedulingwith Advance Reservation
Feasibility Analysis of Fault-Tolerant Real-Time Task Sets
Behaviour-Oriented Commands: From Distributed Knowledge Representation to Real-Time Implementation
Offloading Safety- and Mission-Critical Tasks via Unreliable Connections
RTX-Parlog: Real-Time Extended Parlog
Deadline scheduling in fault tolerant real time systems
Remote procedure call protocols for real-time systems
Statistical QoS Guarantee and Energy-Efficiency in Web Server Clusters
Hierarchical Budget Management in the RED-Linux Scheduling Framework
Meeting hard real-time constraints using a client-server model of interaction
Requirements for real-time object-oriented database models-how much is too much?