[1992] Proceedings Real-Time Systems Symposium
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818631953

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An upper and a lower bound for tick synchronization

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242656 ◽

2003 ◽

Cited By ~ 1

Author(s):

M. Mavronicolas

Keyword(s):

Lower Bound

Download Full-text

Performance effects of information sharing in a distributed multiprocessor real-time scheduler

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242677 ◽

2003 ◽

Cited By ~ 1

Author(s):

Hongyi Zhou ◽

K. Schwan ◽

I.F. Akyildiz

Keyword(s):

Information Sharing ◽

Real Time ◽

Performance Effects

Download Full-text

Timing-based mutual exclusion

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242681 ◽

2003 ◽

Cited By ~ 18

Author(s):

N. Lynch ◽

N. Shavit

Keyword(s):

Mutual Exclusion

Download Full-text

An implementation of three algorithms for timing verification based on automata emptiness

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242667 ◽

2003 ◽

Cited By ~ 46

Author(s):

R. Alur ◽

C. Courcoubetis ◽

D. Dill ◽

N. Halbwachs ◽

H. Wong-Toi

Keyword(s):

Timing Verification

Download Full-text

An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242671 ◽

2003 ◽

Cited By ~ 181

Author(s):

J.P. Lehoczky ◽

S. Ramos-Thuel

Keyword(s):

Optimal Algorithm ◽

Fixed Priority ◽

Aperiodic Tasks

Download Full-text

A small real-time kernel proven correct

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242659 ◽

2003 ◽

Cited By ~ 1

Author(s):

R.M. Tol

Keyword(s):

Real Time

Download Full-text

A proof theory for asynchronously communicating real-time systems

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242665 ◽

2003 ◽

Cited By ~ 2

Author(s):

P. Zou ◽

J. Hooman

Keyword(s):

Real Time ◽

Proof Theory ◽

Real Time Systems ◽

Time Systems

Download Full-text

Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242668 ◽

2003 ◽

Cited By ~ 27

Author(s):

C.-J. Hou ◽

K.G. Shin

Keyword(s):

Real Time ◽

Real Time Systems ◽

Periodic Task ◽

Deadline Constraints ◽

Time Systems

Download Full-text

Bounds on the time to detect failures using bounded-capacity message links

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242657 ◽

2003 ◽

Cited By ~ 1

Author(s):

S. Ponzio

Download Full-text

Monitoring timing constraints in distributed real-time systems

[1992] Proceedings Real-Time Systems Symposium ◽

10.1109/real.1992.242676 ◽

2003 ◽

Cited By ~ 28

Author(s):

S.C.V. Raju ◽

R. Rajkumar ◽

F. Jahanian

Keyword(s):

Real Time ◽

Timing Constraints ◽

Real Time Systems ◽

Time Systems

Download Full-text