yusuke1997/dblp-id-title huggingface dataset:
Precise, efficient, and context-sensitive cache analysis
Time-Constrained Reasoning Under Uncertainty
A Non-Blocking Buffer Mechanism for Real-Time Event Message Communication
Special issue: Advances in real-time embedded systems design
Response Time Driven Scheduling for Programmable Logic Controllers with Network-Based I/O Systems
Worst-Case Space and Time Complexity of Recursive Procedures
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Energy-aware task mapping onto heterogeneous platforms using DVFS and sleep states
Guest editorial: special issue on predictable machine learning
Garbage collection-aware utility accrual scheduling
Integrating On-Line Performance Visualization and Real-Time System Design
Supporting AI-powered real-time cyber-physical systems on heterogeneous platforms via hypervisor technology
Sticky-ERfair: a task-processor affinity aware proportional fair scheduler
Rapid Prototyping of Real-Time Information Processing Units for Mechatronic Systems
A real-time vital control module to increase capabilities of railway control systems in highly automated train operations
Improved multiprocessor global schedulability analysis
Guest editorial: special issue on embedded and real-time computing systems and applications
To Schedule or to Execute: Decision Support and Performance Implications
A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic
Design optimization of TTEthernet-based distributed real-time systems
LRE-TL: an optimal multiprocessor algorithm for sporadic task sets with unconstrained deadlines
A gravitational task model with arbitrary anchor points for target sensitive real-time applications
Dual-Priority versus Background Scheduling: A Path-Wise Comparison
Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention
Specification and Timing Analysis of Real-Time Systems
Robust Adaptive Metrics for Deadline Assignment in Distributed Hard Real-Time Systems
Utilization-Based Admission Control for Scalable Real-Time Communication
Dynamic Voltage Scaling for Digital Control System Implementation
Combined task- and network-level scheduling for distributed time-triggered systems
Scheduling Value-Based Nested Transactions in Distributed Real-Time Database Systems
A New Approach for Scheduling of Parallelizable Tasks in Real-Time Multiprocessor Systems
Probabilistic Schedulability Analysis of Harmonic Multi-Task Systems with Dual-Modular Temporal Redundancy
Compositional Verification of a Distributed Real-Time Arbitration Protocol
Data cache organization for accurate timing analysis
Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems
Feedback-Feedforward Scheduling of Control Tasks
Multi-rate fluid scheduling of mixed-criticality systems on multiprocessors
Independent WCRT analysis for individual priority classes in Ethernet AVB
Real-time arithmetic unit
Editorial: What is Predictability for Real-Time Systems?
The Non-preemptive Scheduling of Periodic Tasks upon Multiprocessors
Global EDF scheduling for parallel real-time tasks
Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors
Generalized tardiness bounds for global multiprocessor scheduling
Guest editorial - RTNS 2010
SetExp : a method of transformation of timed automata into finite state automata
Enhancing Fault-Tolerance in Rate-Monotonic Scheduling
Implementation and evaluation of global and partitioned scheduling in a real-time OS
Schedulability analysis of global edf
Reduction-based schedulability analysis of distributed systems with cycles in the task graph
The EDL Server for Scheduling Periodic and Soft Aperiodic Tasks with Resource Constraints
An optimal k-exclusion real-time locking protocol motivated by multi-GPU systems
Invited Note: Java for Real-Time
Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization
The OR Dataflow Architecture for a Machine Embedded Control System
Static analysis of multi-core TDMA resource arbitration delays
Extending the SCR Method for Real-Time Systems
The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems
Multi-objective design exploration approach for Ravenscar real-time systems
Code Analysis for Temporal Predictability
Quality of Service Support for Multimedia Applications in Third Generation Mobile Networks Using Adaptive Scheduling
Dynamic Real-time Scheduling of Firm Periodic Tasks with Hard and Soft Aperiodic Tasks
Reengineering a Single Threaded Embedded Missile Application onto a Parallel Processing Platform Using MetaH
Optimal online multiprocessor scheduling of sporadic real-time tasks is impossible
Are Object-Oriented Concepts Useful to Real-Time Systems Development?
Terrestrial Time Signal Dissemination
Ordering and Timeliness Requirements of Dependable Real-Time Programs
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)
Guest Introduction: The IPTES Project
A composable worst case latency analysis for multi-rank DRAM devices under open row policy
Cashing in on Caching: An Architecture for Time-Bounded Knowledge-Based Problem Solving
Editorial - News from the 61 st volume
Combinatorial abstraction refinement for feasibility analysis of static priorities
Workload assignment for global real-time scheduling on unrelated clustered platforms
A misconception in blocking time analyses under multiprocessor synchronization protocols
Optimal and efficient adaptation in distributed real-time systems with discrete rates
Challenges in Design and Implementation of Middlewares for Real-Time Systems: Guest Editor's Introduction
Real-time application mapping for many-cores using a limited migrative model
A History of Real-Time Industrial Process Control in the Dutch Steel-Making Industry
A branch-and-cut approach to examining the maximum density guarantee for pinwheel schedulability of low-dimensional vectors
Cluster-aware scheduling in multitasking GPUs
Guest editorial: Special Issue on Predictable multi-core systems
Fast Heuristic Scheduling Based on Neural Networks for Real-Time Systems
Robust and accurate regression-based techniques for period inference in real-time systems
Parameter synthesis for hierarchical concurrent real-time systems
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study
Criticality and Utility in the Next Generation
Enhancing Cross-Correlation Analysis with Artificial Neural Networks for Nuclear Power Plant Feedwater Flow Measurement
Support Software for the Development of Programmable Logic Controller Applications
Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS
A Heuristic Approach to the Multitask-Multiprocessor Assignment Problem using the Empty-Slots Method and Rate Monotonic Scheduling
Data Access Scheduling in Firm Real-Time Database Systems
Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption
Symbolic Cache Analysis for Real-Time Systems
Statistical verification of autonomous system controllers under timing uncertainties
Finite-horizon scheduling of radar dwells with online template construction
Timing guarantees for inference of AI models in embedded systems
Maintaining Global Time in Futurebus+
Fast and Precise WCET Prediction by Separated Cache and Path Analyses
Extending a predictable machine learning framework with efficient gemm-based convolution routines
Precautious-RM: a predictable non-preemptive scheduling algorithm for harmonic tasks
Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines
Timing analysis of rate-constrained traffic in TTEthernet using network calculus
Timing Analysis for Data and Wrap-Around Fill Caches
CPU scheduling and memory management for interactive real-time applications
An industrial view on the common academic understanding of mixed-criticality systems
Dynamic Scheduling and Fault-Tolerance: Specification and Verification
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities
Predictable real-time software synthesis
Supporting Timing Analysis by Automatic Bounding of Loop Iterations
Real-Time Concurrent C: A Language for Programming Dynamic Real-Time Systems
Utilization-based admission control for aperiodic tasks under EDF scheduling
Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems
RTC: Language Support for Real-Time Concurrency
Isolation scheduling on multicores: model and scheduling approaches
A Codesign Approach to Real-time High Precision Control
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets
Statically optimal dynamic soft real-time semi-partitioned scheduling
Scoped types and aspects for real-time Java memory management
Stack-based Scheduling of Realtime Processes
Specifying Real-Time Properties with Metric Temporal Logic
CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks
A Synthetic Workload for a Distributed Real-time System
Mcti: mixed-criticality task-based isolation
Design for Timing Predictability
Energy efficient redundant configurations for real-time parallel reliable servers
Editorial Special Anniversary Issue
CPMD-mindful task assignment for NPS-F
Guest editorial: Special issue on ECRTS 2008
Analysis of window-constrained execution time systems
Real-Time Transaction Scheduling: A Framework for Synthesizing Static and Dynamic Factors
Reliable social sensing with physical constraints: analytic bounds and performance evaluation
Performance maximization of energy-variable self-powered (m, k)-firm real-time systems
Fundamental Issues in Testing Distributed Real-Time Systems
Guest editorial: embedded and real-time computing systems and applications
String Matching Over Compressed Text on Handheld Devices Using Tagged Sub-Optimal Code (TSC)
Deterministic delay analysis of AVB switched Ethernet networks using an extended Trajectory Approach
Time Capsules: An Abstraction for Access to Continuous-Media Data
Design and analysis of SIC: a provably timing-predictable pipelined processor core
Addressing Real-Time Constraints in the Design of Autonomous Agents
Redundant Sensor Calibration Monitoring Using Independent Component Analysis and Principal Component Analysis
Mutliprocessor Task Scheduling with Resource Requirements
Utilization Bounds for Multiprocessor Rate-Monotonic Scheduling
A hybrid performance analysis technique for distributed real-time embedded systems
Global scheduling based reliability-aware power management for multiprocessor real-time systems
Low-Power Design for Real-Time Systems
Feedback-based resource management for multi-threaded applications
Architecture aware semi partitioned real-time scheduling on multicore platforms
Guest editorial: multiprocessor scheduling
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme
Verification and control of partially observable probabilistic systems
Timing analysis of the FlexRay communication protocol
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Competitive analysis of online real-time scheduling algorithms under hard energy constraint
DeepRT: predictable deep learning inference for cyber-physical systems
How to Implement a Safe Real-Time System: The OBSERV Implementation of the Production Cell Case Study
Timing Analysis of MRL: A Real-Time Rule-Based System
A real-time scratchpad-centric OS with predictable inter/intra-core communication for multi-core embedded systems
Scheduling of hard real-time multi-phase multi-thread (MPMT) periodic tasks
Real-time scheduling for parallel tasks with resource reclamation
Optimal scheduling of measurement-based parallel real-time tasks
Resource holding times: computation and optimization
Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning
Archictecture and Performance of Java-Based Distributed Object Models: CORBA vs RMI
Performance optimization of autonomous driving control under end-to-end deadlines
RIMMS - An OSI-based Real-Time Messaging System
Real-time scheduling with resource sharing on heterogeneous multiprocessors
An EDF-based restricted-migration scheduling algorithm for multiprocessor soft real-time systems
Minimizing cache usage with fixed-priority and earliest deadline first scheduling
Real time stochastic scheduling in broadcast systems with decentralized data storage
Search and track coordination in multi-ship multi-radar systems using schedulability envelope
Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems
Practical task allocation for software fault-tolerance and its implementation in embedded automotive systems
Utilization Bounds for EDF Scheduling on Real-Time Multiprocessor Systems
A constant-time dynamic storage allocator for real-time systems
Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches
Instruction cache locking for multi-task real-time embedded systems
GPS-based Clock Synchronization in a Mobile, Distributed Real-Time System
Toward state-aware scheduling of machine-learning workloads
Timing Analysis of Real-Time Communication Under Electromagnetic Interference
Scheduling Messages with Earliest Deadline Techniques
Implementation of algebraic controllers for non-conventional sampled-data systems
A Dynamic Shadow Approach to Fault-Tolerant Mobile Agents in an Autonomic Environment
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems
Issues in Real-Time Data Management
Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks
FFOB: efficient online mode-switch procrastination in mixed-criticality systems
Buffer dimensioning per frames in packet networks
Calculating WCET estimates from timed traces
Special issue on practical and robust design of real-time systems
A Real-Time Image Recognition System for Tiny Autonomous Mobile Robots
Quality-aware data abstraction layer for collaborative 2-tier sensor network applications
Selected papers presented at the 26th International Conference on Real-Time and Network Systems (RTNS 2018)
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems
Analysis of Real-Time Properties and Rules for Setting Protocol Parameters of MAP Networks
Q-SCA: Incorporating QoS support into software communications architecture for SDR waveform processing
Special issue: Emerging trends in real-time embedded systems: from Microkernel architecture to control system analysis and IoT frameworks
High Accuracy Concurrent Event Processing in Hard Real-Time Systems
Partitioned EDF scheduling: a closer look
Integrating Data Flow Equations with UML/Realtime
Measuring the Performance of Real-Time Systems
Real-Time Camera Tracking for Mobile Devices: The VisiTrack System
A comprehensive survey of industry practice in real-time systems
Maximizing the Robustness of TDMA Networks with Applications to TTP/C
Non-Preemptive Real-Time Scheduling of Multimedia Tasks
Burst Mode Bandwidth Allocation for Real-Time Messages in IEEE 802.12 Networks
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems
Resource access control for dynamic priority distributed real-time systems
Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling
Aperiodic Task Scheduling for Hard Real-Time Systems
Energy efficient fault-tolerant earliest deadline first scheduling for hard real-time systems
Bounding the execution time of parallel applications on unrelated multiprocessors
A Model for Updating Real-Time Applications
Flexible Real-Time Linux*: A Flexible Hard Real-Time Environment
Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing
Design, Implementation and Evaluation of a Real-Time Active Content Distribution Service
Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor
Combination of clock-state and clock-rate correction in fault-tolerant distributed systems
Real-time Fault Tolerant Operation of the 802.5 Token Ring
Introduction: Real-Time Language and Language-Level Timing Tools and Analysis
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling
Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation
Guest editorial: special issue on the Real-Time and Network Systems (RTNS 2008) conference
Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor
HEDRA: Heterogeneous Distributed Real-Time Architecture
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach
Guest Editorial: Optimization of real-time systems
Uncertainty Analysis of Memory Based Sensor Validation Techniques
Priority Inheritance and Message Passing Communication: A Formal Treatment
Schedulability of probabilistic mixed-criticality systems
Exact speedup factors and sub-optimality for non-preemptive scheduling
Guest editorial: real-time networks and systems
A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling
A Description Language for Engineering of Complex Real-Time Systems
Trade-Off Analysis of Real-Time Control Performance and Schedulability
Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks
Building Large, Complex, Distributed Safety-Critical Operating Systems
Reaching self-stabilising distributed synchronisation with COTS Ethernet components: the WALDEN approach
Improving WCET by applying worst-case path optimizations
Efficient implementation of tight response-times for tasks with offsets
The feasibility of general task systems with precedence constraints on multiprocessor platforms
Schedulability analysis in hard real-time systems under thermal constraints
An Improved Hard Real-Time Scheduling for the IEEE 802.5
Mixed-criticality real-time scheduling of gang task systems
Mixed-criticality scheduling on multiprocessors
Computing Maximum Task Execution Times - A Graph-Based Approach
Design optimization for real-time systems with sustainable schedulability analysis
Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy
Conventional and Early Token Release Scheduling Models for the IEEE 802.5 Taken Ring
Cutting-plane algorithms for preemptive uniprocessor scheduling problems
Resource Management Middleware for Dynamic, Dependable Real-Time Systems
Correction to: A compiler framework for the reduction of worst-case execution times
On the Competitiveness of On-Line Real-Time Task Scheduling
Quantitative Analysis of Hardware Support for Real-Time Operating Systems
Co-scheduling aperiodic real-time tasks with end-to-end firm and soft deadlines in two-stage systems
Experimental Assessment of the Period Calibration Method: A Case Study
Graphical Animation as a Form of Prototyping Real-Time Software Systems
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems
Correspondence Article: Counterexample for suspension-aware schedulability analysis of EDF scheduling
Interference-aware fixed-priority schedulability analysis on multiprocessors
Globally scheduled real-time multiprocessor systems with GPUs
Guest Editorial: special issue on the Euromicro Conference on Real-Time Systems (ECRTS 2007)
Predictable Synchronization Mechanisms for Multiprocessor Real-Time Systems
A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler"
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol
Scheduling algorithms to reduce the static energy consumption of real-time systems
Feasibility of on-line speed policies in real-time systems
Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
Analysis of VME-Bus communication protocol - RTCP-net approach
Programmable Real-Time Scheduler Using a Neurocomputer
Special issue on multiprocessor and mixed-criticality scheduling - Foreword
Work-conserving dynamic time-division multiplexing for multi-criticality systems
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling
A Formalization of Priority Inversion
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems
Special edition on resource partitioning for modern multicore systems
Approximation techniques for response-time analysis of static-priority tasks
A schedulable utilization bound for the multiprocessor EPDF \mathsf{EPDF} Pfair algorithm
Designing end-to-end resource reservations in predictable distributed embedded systems
Predicting Program Execution Times by Analyzing Static and Dynamic Program Paths
Online and offline scheduling with cache-related preemption delays
Scheduling real-time requests in on-demand data broadcast environments
CertiCAN certifying CAN analyses and their results
Inference serving with end-to-end latency SLOs over dynamic edge networks
Modeling distributed real-time applications with specification PEARL
Modeling out-of-order processors for WCET analysis
Symbolic quality control for multimedia applications
Visual Keyword Image Retrieval Based on Synergetic Neural Network for Web-Based Image Search
Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente's Contribution
High-Level Timed Petri Nets as a Kernel for Executable Specifications
Supporting I/O and IPC via fine-grained OS isolation for mixed-criticality real-time tasks
User-level Real-Time Network System on Microkernel-based Operating Systems
A bandwidth allocation scheme for compositional real-time systems with periodic resources
Guest Editorial: Special Issue on The Real-Time Systems Symposium
Reduced latency DRAM for multi-core safety-critical real-time systems
Implementing a Probabilistic Clock Synchronization Algorithm
Integrated End-to-End Delay Analysis for Regulated ATM Networks
Design of H 2 Controllers for Sampled-Data Systems with Input Time Delays
Linear-time admission control for elastic scheduling
Classification of Steam Generator Tube Defects for Real-Time Applications Using Eddy Current Test Data and Self-Organizing Maps
Real-time processing of streaming big data
Expressing and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System
Integrating External and Internal Clock Synchronization
Estimating WCET using prediction models to compute fitness function of a genetic algorithm
Modeling and Evaluating the Feasibility of Timing Constraints Under Different Real-time scheduling Algorithms
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels
Guest editorial: a roadmap towards learning-enabled and learning-assisted real-time systems
Task assignment algorithms for two-type heterogeneous multiprocessors
Algorithms for implementing elastic tasks on multiprocessor platforms: a comparative evaluation
Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems
Implementation of Adaptive Fuzzy Control for a Real-Time Control Demo-Model
Guest editorial: special issue on multicore systems
An Executable Subset of VDM-SL, in an SA/RT Framework
Decision-driven scheduling
Hierarchical CPU utilization control for real-time guarantees in power grid computing
Using a lag-balance property to tighten tardiness bounds for global EDF
Guest editorial: Special issue on Real-Time Systems Symposium (RTSS)
Real-Time Communication in FDDI Networks
A Temporal Logic-Based Model of Event-Driven Nets
Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages