yusuke1997/dblp-id-title huggingface dataset:
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems
Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems
Communicating Distributed Processes: A Language Concept for Distributed Programming in Distributed Database Systems
A Distribution-Agnostic and Correlation-Aware Analysis of Periodic Tasks
Overloading an IEEE 802.15.4 Point-to-Point Connection with Real-Time Messages
FARACost: An Adaptation Cost Model Aware of Pending Constraints
On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm
An optimal pinwheel scheduler using the single-number reduction technique
A simple assertional proof system for real-time systems
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
Throughput and Value Maximization in Wireless Packet Scheduling under Energy and Time Constraints
Work-in-Progress: Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees
Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling
Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors
Integrated Energy Control for Hard Real-Time Networks-on-Chip
Incremental latency analysis of heterogeneous cyber-physical systems
Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning
Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers
Work-in-Progress: Lock-Based Software Transactional Memory for Real-Time Systems
Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System
Real-Time Scheduling Support in Futurebus+
Reducing the Implementation Overheads of IPCP and DFP
Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor
Qduino: A Multithreaded Arduino System for Embedded Computing
Accounting for interrupt handling costs in dynamic priority task systems
Multiprocessor Extensions to Real-Time Calculus
Work-in-Progress: Response-Time Analysis of Partitioned and Clustered Systems with the Schedule-Abstraction Framework
Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness
Guidelines for automated implementation of executable object oriented models for real-time embedded control systems
On Using Priority Inheritance In Real-Time Databases
Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems
Schedulability Analysis of Non-preemptive Real-Time Scheduling for Multicore Processors with Shared Caches
Work-in-Progress: Towards Real-Time Smart City Communications using Software Defined Wireless Mesh Networking
MACS: A Predictable Architecture for Real Time Systems
On-Line Routing of Real-Time Messages
Mixed-Criticality Scheduling of Energy-Harvesting Systems
Performance Analysis of a Distributed Real-Time System
Periodic Resource Model for Compositional Real-Time Guarantees
A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee
A Theory of Rate-Based Execution
Towards Realistic Core-Failure-Resilient Scheduling and Analysis
Predicting Latency Distributions of Aperiodic Time-Critical Services
End-To-End Timing Analysis in ROS2
The Continuous Stream Model of Computation for Real-Time Control
Timing Anomalies in Dynamically Scheduled Microprocessors
Exploring Real-Time Satellite Computing: From Energy and Thermal Perspectives
Feedback Control Scheduling in Distributed Real-Time Systems
Hard-Real-Time Routing in Probabilistic Graphs to Minimize Expected Delay
VLSI Systolic Array Architecture for Real-Time Digital Signal Processing
Integrated Design Tools for Hard Real-Time Systems
Mixed-Criticality Federated Scheduling for Relaxed-Deadline DAG Tasks
Scheduling Communication Networks Carrying Real-Time Traffic
Communicating Shared Resources: A Model for Distributed Real-Time Systems
Towards Feasible Region Calculus: An End-to-End Schedulability Analysis of Real-Time Multistage Execution
Work-in-Progress: Utilizing Probabilistic Analysis to Fine-Tune Optimal IDK Cascades
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems
Composite Resource Scheduling for Networked Control Systems
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems
A Theoretical Approach to Determine the Optimal Size of a Thread Pool for Real-Time Systems
On the Delay Performance Analysis in a Large-Scale Wireless Sensor Network
Work-in-Progress: Evaluating Task Dropping Strategies for Overloaded Real-Time Systems
A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm
QoS Management in Replicated Real Time Databases
Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation
Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing
Toward the Deterministic Scheduling of Ada Tasks
Work-in-Progress: Non-preemptive Scheduling of Periodic Tasks with Data Dependency Upon Heterogeneous Multiprocessor Platforms
Timing-anomaly free dynamic scheduling of task-based parallel applications
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors
WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications
The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks
Job-Level Batching for Software-Defined Radio on Multi-Core
Quantifying the Exact Sub-optimality of Non-preemptive Scheduling
Brief Industry Paper: Evaluating Robustness of Deep Learning-Based Recommendation Systems Against Hardware Errors: A Case Study
A Consensus Protocol for CAN-Based Systems
Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems
FLOPSYNC-2: Efficient Monotonic Clock Synchronisation
Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization
A Resilient Commit Protocol for Real Time Systems
Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL
Cache Persistence Analysis: Finally Exact
Real-time big data: the Juniper approach
Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model
Virtually-Federated Scheduling of Parallel Real-Time Tasks
Pre-Scheduling on the Domain of Integers
Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency
Response-Time Analysis for Mixed Criticality Systems
Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm
Work-in-Progress: Towards representative measurement protocols
Bounding Worst-Case Instruction Cache Performance
Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources
Multiple-Resource Periodic Scheduling Problem: how much fairness is necessary?
A Framework for Scheduler Synthesis
Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems
An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers
Towards the integration of data-centric distribution technology into partitioned embedded systems
Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched Ethernet
A Time-Predictable Model of Computation
Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA)
Work-in-Progress: Synchronous Intersection Management Protocol for Mixed Traffic Flows
Specification and verification of a distributed real-time arbitration protocol
A Simulator for Multi-Computer Radar Data Processing Systems
Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior
Optimal Resource Control in Periodic Real-Time Environments
Proving a Network of Real-Time Processes Correct
Concurrent Order Dispatch for Instant Delivery with Time-Constrained Actor-Critic Reinforcement Learning
A Real-Tie Tool Set for the ARTS Kernel
Link Between Real-Time Scheduling and Time-Triggered Networks
Shedding the Shackles of Time-Division Multiplexing
HoneyWEB: Embedded Web-based Control Applications
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions
Real-Time Performance of a Completely Distributed Operating System
The SRP Resource Sharing Protocol for Self-Suspending Tasks
Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints
On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections
Provable transient recovery for frame-based, fault-tolerant computing systems
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
Time-Reversibility of Schedulability Tests
Soft Real- Time Scheduling on Simultaneous Multithreaded Processors
Analyzing Real Time Linear Control Systems Using Software Verification
A Distributed Processing Architecture of Fast Polynomial Transform for Real-Time Computation of a Multi-Dimensional Cyclic Convolution
Signal Processor Architecture for High-Performance Real-Time Applications
SAFER: System-level Architecture for Failure Evasion in Real-time Applications
MiThOS - A Real-Time Micro-Kernel Threads Operating System
Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants
Scheduling Periodic Real-Time Tasks with Heterogeneous Reward Requirements
Imprecise Results: Utilizing Partial Comptuations in Real-Time Systems
From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling
The Design of Large Real-Time Systems: The Time-Triggered Approach
Task Set Synthesis with Cost Minimization for Sporadic Real-Time Tasks
Programming Execution-Time Servers in Ada 2005
Trading End-to-End Latency for Composability
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors
A Scalable Real-Time Synchronization Protocol for Distributed Systems
Symbolic Model Checking for Event-Driven Real-Time Systems
Priority Optimization for Autonomous Driving Systems to Meet End-to-End Latency Constraints
Fault-Tolerance of Radiation Disturbed Multi-Microprocessors
An Adaptive-Reliability Cyber-Physical Transport Protocol for Spatio-temporal Data
Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors
FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems
Efficient Aperiodic Service Under Earliest Deadline Scheduling
The Exchange Matrix for Fast Communications in Systems with Dynamic Architectures
Kernel-Level Threads for Dynamic, Hard Real-Time Environments
Bounding completion times of jobs with arbitrary release times and variable execution times
Techniques for Multiprocessor Global Schedulability Analysis
Verifying an Intelligent Structural Control System: A Case Study
41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020
Reservation-Based Federated Scheduling for Parallel Real-Time Tasks
Energy-Constrained Scheduling for Weakly-Hard Real-Time Systems
Work-in-Progress: Cloud Computing for Time-Triggered Safety-Critical Systems
Middleware for Distributed Industrial Real-Time Systems on ATM Networks
Priority Inheritance and Ceilings for Distributed Mutual Exclusion
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip
RadioSense: Exploiting Wireless Communication Patterns for Body Sensor Network Activity Recognition
Static-Priority Periodic Scheduling on Multiprocessors
A Unified Hard/Soft Real-Time Schedulability Test for Global EDF Multiprocessor Scheduling
A Response Time Estimation of Real-Time Networks
Analysis of Hierarchical EDF Pre-emptive Scheduling
Response Time Upper Bounds for Fixed Priority Real-Time Systems
The Non-cyclic Recurring Real-Time Task Model
2016 IEEE Real-Time Systems Symposium, RTSS 2016, Porto, Portugal, November 29 - December 2, 2016
Response Time Analysis for Real-Time Global Gang Scheduling
Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems
Work-in-Progress: Exploring the Composition of Synchronous Intelligent Intersections
Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
End-to-end Fairness Analysis of Fair Queuing Networks
QoS-Based Resource Allocation for Next-Generation Spacecraft Networks
On the Implementation of Global Real-Time Schedulers
Reducing the number of clock variables of timed automata
Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems
Assigning Real-Time Tasks on Heterogeneous Multiprocessors with Two Unrelated Types of Processors
Real-Time Control of Macro Data Flow Architectures
Work-in-Progress: Using Interaction Between Vehicles to Reduce Deadline Tardiness from a Route Assignment Perspective
Time-Predictable Acceleration of Deep Neural Networks on FPGA SoC Platforms
Optimal Dynamic-Priority Real-Time Scheduling Algorithms for Uniform Multiprocessors
Real-Time Features for Ada 9X
JAM: A Jammed-Area Mapping Service for Sensor Networks
Right on Time Distributed Shared Memory
A Transformational Method for Verifying Safety Properties in Real-Time Systems
Energy-Constrained Standby-Sparing for Weakly Hard Real-Time Systems
Predictable Communication and Migration in the Quest-V Separation Kernel
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines
ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness
A Real-Time Adaptive Message Routing Network for the Hypercube Computer
Global EDF-Based Scheduling of Multiple Independent Synchronous Dataflow Graphs
Supporting Real-Time Traffic on Ethernet
MCGREP - A Predictable Architecture for Embedded Real-Time Systems
Improving Link Quality by Exploiting Channel Diversity in Wireless Sensor Networks
SCENIC: Capability and Scheduling Co-Design for Intelligent Controller on Heterogeneous Platforms
CycleTandem: Energy-Saving Scheduling for Real-Time Systems with Hardware Accelerators
On Batching Task Scheduling
Towards Principled Budget Enforcement in Real-Time Systems
Efficient verification of real-time systems: compact data structure and state-space reduction
2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018
A resource allocation model for QoS management
When In-Network Processing Meets Time: Complexity and Effects of Joint Optimization in Wireless Sensor Networks
PredJoule: A Timing-Predictable Energy Optimization Framework for Deep Neural Networks
An object oriented model for parallel and reactive systems
Merge-by-Wire: Algorithms and System Support
Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams
Practical Solutions for QoS-Based Resource Allocation
Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems
Real-Time Scheduling with Predictions
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS
The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling
Translating Off-Line Schedules into Task Attributes for Fixed Priority Scheduling
Statistical Rate Monotonic Scheduling
Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Failure Distribution Model
Quick-release Fair Scheduling
Interface-Based Rate Analysis of Embedded Systems
Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling
Time Based Linux for Real-Time NOWs and MPI/RT
Task Reconfiguration in a Distributed Real-Time System
Design for Concurrent Error Detection in Storage/Logic Arrays
A PTAS for Assigning Sporadic Tasks on Two-type Heterogeneous Multiprocessors
Animated Structures: Real-Time, Objects, and the UML
REACTION 2012, First International Workshop on Real-time and distributed computing in emerging applications, Proceedings, San Juan, Puerto Rico, December 4, 2012
The Monitoring of Timing Constraints on Time Intervals
Work-in-Progress: Towards a fine-grain thermal model for uniform multi-core processors
An Isolation Scheduling Model for Multicores
Towards a generic, service oriented framework for distributed real-time systems
Aerial Video Stream over Multi-hop Using Adaptive TDMA Slots
Rewriting History to Exploit Gain Time
Strategies for Predictability in Real-Time Data-Flow Architectures
Analysis of cache-related preemption delay in fixed-priority preemptive scheduling
Improving Soft Real-Time Performance through Better Slack Reclaiming
Sleepy Sloth: Threads as Interrupts as Threads
Automatic Trace Generation for Signal Temporal Logic
Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications
Message-Based Distributing Computing
Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests
The Best of All Worlds: Improving Predictability at the Performance of Conventional Coherence with No Protocol Modifications
Load Adjustment in Adaptive Real-Time Systems
FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System
Validation of design for space launch vehicles
An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems
Language Constructs for Distributed Real-Time Programming
Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems
Average probabilistic response time analysis of tasks with multiple probabilistic parameters
Closing the loop: towards control-aware design of adaptive real-time systems
Minimizing Mean Flow Time with Error Constraint
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time
Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland's Bound
Real-time queueing network theory
Hartstone Distributed Benchmark: Requirements and Definitions
Q-Offload: Quality Aware WiFi Offloading with Link Dynamics
Gang EDF Scheduling of Parallel Task Systems
Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks
Design Style Case Study for Embedded Multi Media Compute Nodes
Compositional Real-Time Scheduling Framework
Analysis of a Multiple Processor System for Real Time Applications
Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011
Guaranteeing Deadlines in MAFT
An Empirical Survey-based Study into Industry Practice in Real-time Systems
Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds
The Integration of Deadline and Criticalness in Hard Real-Time Scheduling
Distributed Sensing for High Quality Structural Health Monitoring Using Wireless Sensor Networks
Scheduling of Battery Charge, Discharge, and Rest
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 6-8 December 2005, Miami, FL, USA
Specification and Verification of Real-Time Embedded Systems Using Time-Constrained Reactive Automata
Improving Control Performance by Minimizing Jitter in RT-WiFi Networks
Using Entropy as a Parameter to Schedule Real-Time Tasks
End-to-End Delay Bound for Prioritized Data Flows in Disruption-Tolerant Networks
Scheduling The Can Bus With Earliest Deadline Techniques
Enabling Deadline Scheduling for Java Real-Time Computing
Spatiotemporal Delay Control for Low-Duty-Cycle Sensor Networks
Monte Carlo Response-Time Analysis
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization
Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines
AegisDNN: Dependable and Timely Execution of DNN Tasks with SGX
Guaranteed Response Times in a Distributed Hard-Real-Time Environment
A Blocking Bound for Nested FIFO Spin Locks
Dynamic Scan Scheduling
Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems
The diffusion model based task remapping for distributed real-time systems
From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years
Window-Constrained Real-Time Periodic Task Scheduling
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks
Optimizing a FIFO, scalable spin lock using consistent memory
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
Future Challenges in the Development of Real-Time High Performance Embedded Systems
Workload Effects on Fault Latency for Real-Time Computing Systems
Event Count Automata: A State-Based Model for Stream Processing Systems
Work-in-Progress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion
Real-Time Capabilities of HSA Compliant COTS Platforms
Queueing Model Based Network Server Performance Control
USG, an Un-fair, Semi Greedy Optimal Real-Time Multiprocessor Scheduling Algorithm
A New Concurrent Memory-Reference Checking Technique
Regular Composite Resource Partition in Open Systems
The Rationale for Time-Triggered Ethernet
Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems
RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals
Operating system extensions for dynamic real-time application
D over ; an optimal on-line scheduling algorithm for overloaded real-time systems
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications
An O(Log Log m)-Competitive Algorithm for Online Machine Minimization
Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks
Allocation and Scheduling of Software Modules
Static-Priority Scheduling on Multiprocessors
Exploitation of Physical Constraints for Reliable Social Sensing
Testing the Results of Static Worst-Case Execution-Time Analysis
Process Dependent Static Cache Partitioning for Real-Time Systems
PACKRAT - A Real Time Kernel for Distributed Systems
Performance Optimization and Stability Guarantees for Multi-tier Real-Time Control Systems
Static and Dynamic Analysis of Timed Distributed Traces
Scheduling slack time in fixed priority pre-emptive systems
Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks
Delay-Aware Period Assignment in Control Systems
Verifying Broperties of Systems with Variable Timing Constraints
Practicality of Non-Interfering Checkpoints in Distributed Database Systems
Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept
SEAM: An Optimal Message Synchronizer in ROS with Well-Bounded Time Disparity
Thermally Composable Hybrid Application Mapping for Real-Time Applications in Heterogeneous Many-Core Systems
A Network Operating System for Local Computer Networks
Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems
Automatic Symbolic Verification of Embedded Systems
Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling
Real-Time Synchronization Protocols for Multiprocessors
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
The Hybrid Cube Network
End-to-End Delay Analysis for Real-Time Network
Implementing a Verifier for Real-Time Systems
Work-in-Progress: Towards Real-Time IDS via RNN and Programmable Switches Co-Designed Approach
Work-in-Progress: ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis
Component-Based Abstraction Refinement for Timed Controller Synthesis
Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison
Work-in-Progress: Preference-Oriented Scheduling in Multiprocessor Real-Time Systems
IEEE Real-Time Systems Symposium, RTSS 2019, Hong Kong, SAR, China, December 3-6, 2019
Symbolic Schedulability Analysis of Real-Time Systems
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014