IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Real-Time Systems Symposium, 1 ...

Real-Time Systems Symposium, 1991. Proceedings., Twelfth

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Real-Time Systems Symposium, 1991. Proceedings., Twelfth

Date 4-6 Dec. 1991

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Proceedings. Twelfth Real-Time Systems Symposium (Cat. No.91CH3090-8)

MACS: a predictable architecture for real time systems

Specification and verification of real-time embedded systems using time-constrained reactive automata

Hartstone distributed benchmark: requirements and definitions

On non-preemptive scheduling of period and sporadic tasks

Towards an automatic synthesis system for real-time software

The transient server approach to scheduling time-critical recovery operations

Earliest deadline scheduling for real-time database systems

A priority ceiling protocol for multiple-instance resources

Run-time monitoring of real-time systems

Enhancing real-time DBMS performance with multiversion data and priority based disk scheduling

On the competitiveness of on-line real-time task scheduling

A requirements specification method for adaptive real-time systems

Program representation and translation for predictable real-time systems

RTC: language support for real-time concurrency

Clairvoyance, capricious timing faults, causality, and real-time specifications

Early experience with POSIX 1003.4 and POSIX 1003.4 A

Building a predictable avionics platform in Ada: a case study

Efficient synchronization of clocks in a distributed system

On using priority inheritance in real-time databases

Load sharing with consideration of future task arrivals in heterogeneous distributed real-time systems

A partial evaluator for the Maruti hard real-time system

Real-time features for Ada 9X

Optimization in real time

Version selection schemes for hard real-time communications

IEEE Account

Purchase Details

Profile Information

Need Help?