Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: An Interface Algebra for Real-Time Components
Compositional real-time scheduling framework
Programming and reasoning with algebraic effects and dependent types
A Survey of Worst-Case Execution Time Analysis for Real-Time Java
Preliminary design of JML: a behavioral interface specification language for java
Enhanced Aperiodic Responsiveness in Hard Real-Time Environments.
control and communication challenges in networked real - time systems .
MBBA: A Multi-Bandwidth Bus Arbiter for Hard Real-Time
The Temporal Logic of Reactive and Concurrent Systems
Real-time scheduling theory and ADA
The Survey of Real Time Operating System: RTOS
Shield Synthesis: Runtime Enforcement for Reactive Systems
Framework for validation, test and analysis of real-time scheduling algorithms and scheduler implementations
Composite Connectors for Composing Software Components
Cadena: an integrated development, analysis, and verification environment for component-based systems
Comparative Study of Scheduling Algorithms for Real Time Environment
Tutorial on real-time scheduling
A proportional share resource allocation algorithm for real-time, time-shared systems
A Modular Software Architecture for Real-Time Video Processing
Implementation of a real-time computer for space applications
a framework for highly - available composed real - time internet services bhaskaran raman qualifying examination .
Low-resource routing attacks against tor
Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor
Named Entity Recognition and Classification in Kannada Language
"Will I always be not social?": Re-Conceptualizing Sociality in the Context of a Minecraft Community for Autism
Teaching Kodu with physical manipulatives