Tutorial: hard real-time systems

Real-time data acquisition at mission control

Communications of the ACM

Multi-level specification and verification of real-time software

ICSE '90 Proceedings of the 12th international conference on Software engineering

Multilevel specification of real time systems

Communications of the ACM - Special issue on software engineering

Language constructs and transformation for hard real-time systems

LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems

Strategic directions in real-time and embedded systems

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research

Multimedia support for databases

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

On Developing Distributed Middleware Services for QoS-and Criticality-Based Resource Negotiation and Adaptation

Real-Time Systems

Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks

Real-Time Systems

Heuristic scheduling algorithms designed based on properties of optimal algorithm for soft real-time tasks

Proceedings of the 2007 Summer Computer Simulation Conference

Reliable workflow scheduling with less resource redundancy

Parallel Computing