Proceedings Real-Time Systems Symposium REAL-94
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818666005

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ARINC 659 scheduling: problem definition

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342719 ◽

1994 ◽

Cited By ~ 25

Author(s):

Carpenter ◽

Driscoll ◽

Hoyme ◽

Carciofini

Keyword(s):

Problem Definition ◽

Scheduling Problem

Download Full-text

Timeliness via speculation for real-time databases

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342732 ◽

1994 ◽

Cited By ~ 25

Author(s):

Bestavros ◽

Braoudakis

Keyword(s):

Real Time

Download Full-text

The generalized railroad crossing: a case study in formal verification of real-time systems

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342724 ◽

1994 ◽

Cited By ~ 71

Author(s):

Heitmeyer ◽

Lynch

Keyword(s):

Formal Verification ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Response-time bounds of rule-based programs under rule priority structure

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342722 ◽

1994 ◽

Cited By ~ 3

Author(s):

Rwo-Hsi Wang ◽

Mok

Keyword(s):

Response Time ◽

Rule Based ◽

Priority Structure ◽

Time Bounds

Download Full-text

A solution to an automotive control system benchmark

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342721 ◽

1994 ◽

Cited By ~ 24

Author(s):

Kopetz

Keyword(s):

Control System ◽

Automotive Control

Download Full-text

Modeling DSP operating systems for multimedia applications

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342705 ◽

1994 ◽

Cited By ~ 3

Author(s):

Katcher ◽

Kettler ◽

Strosnider

Keyword(s):

Operating Systems ◽

Multimedia Applications

Download Full-text

Mechanisms for enhancing the flexibility and utility of hard real-time systems

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342734 ◽

1994 ◽

Cited By ~ 19

Author(s):

Audsley ◽

Davis ◽

Burns

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Guaranteeing end-to-end timing constraints by calibrating intermediate processes

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342716 ◽

1994 ◽

Cited By ~ 65

Author(s):

Gerber ◽

Hong ◽

Saksena

Keyword(s):

Timing Constraints ◽

End To End

Download Full-text

Flexible real-time SQL transactions

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342707 ◽

1994 ◽

Cited By ~ 7

Author(s):

Fortier ◽

Wolfe ◽

Prichard

Keyword(s):

Real Time

Download Full-text

Proceedings Real-Time Systems Symposium

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342736 ◽

1994 ◽

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text