[1990] Proceedings 11th Real-Time Systems Symposium
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818621125

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing a verifier for real-time systems

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128730 ◽

1990 ◽

Cited By ~ 14

Author(s):

D.A. Stuart

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Incremental garbage collection of concurrent objects for real-time applications

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128723 ◽

1990 ◽

Cited By ~ 5

Author(s):

D.M. Washabaugh ◽

D. Kafura

Keyword(s):

Real Time ◽

Garbage Collection ◽

Concurrent Objects ◽

Real Time Applications

Download Full-text

Concurrency control in real-time databases by dynamic adjustment of serialization order

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128735 ◽

1990 ◽

Cited By ~ 61

Author(s):

Y. Lin ◽

S.H. Son

Keyword(s):

Real Time ◽

Concurrency Control ◽

Dynamic Adjustment

Download Full-text

New latency bounds for atomic broadcast

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128742 ◽

1990 ◽

Cited By ~ 4

Author(s):

R. Strong ◽

D. Dolev ◽

F. Cristian

Keyword(s):

Atomic Broadcast

Download Full-text

Applying compiler techniques to scheduling in real-time systems

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128755 ◽

1990 ◽

Cited By ~ 24

Author(s):

P. Gopinath ◽

R. Gupta

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Compiler Techniques

Download Full-text

From CHAOS/sup base/ to CHAOS/sup arc/: a family of real-time kernels

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128732 ◽

1990 ◽

Cited By ~ 9

Author(s):

K. Schwan ◽

A. Gheith ◽

H. Zhou

Keyword(s):

Real Time

Download Full-text

Scalability of a distributed real-time resource counter

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128728 ◽

1990 ◽

Cited By ~ 3

Author(s):

N. Griffeth ◽

A. Weinrib

Keyword(s):

Real Time ◽

Time Resource

Download Full-text

Language support for the Maruti real-time system

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128756 ◽

1990 ◽

Cited By ~ 25

Author(s):

V.M. Nirkhe ◽

S.K. Tripathi ◽

A.K. Agrawala

Keyword(s):

Real Time ◽

Time System ◽

Real Time System ◽

Language Support

Download Full-text

Specifying and verifying a real-time priority queue with modal algebra

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128761 ◽

1990 ◽

Cited By ~ 2

Author(s):

V. Yodaiken ◽

K. Ramamritham

Keyword(s):

Real Time ◽

Priority Queue ◽

Modal Algebra

Download Full-text

Strategies for predictability in real-time data-flow architectures

[1990] Proceedings 11th Real-Time Systems Symposium ◽

10.1109/real.1990.128752 ◽

1990 ◽

Cited By ~ 6

Author(s):

S. Som ◽

R.R. Mielke ◽

J.W. Stoughton

Keyword(s):

Real Time ◽

Data Flow ◽

Time Data ◽

Real Time Data

Download Full-text

[1990] Proceedings 11th Real-Time Systems SymposiumLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Implementing a verifier for real-time systems

Incremental garbage collection of concurrent objects for real-time applications

Concurrency control in real-time databases by dynamic adjustment of serialization order

New latency bounds for atomic broadcast

Applying compiler techniques to scheduling in real-time systems

From CHAOS/sup base/ to CHAOS/sup arc/: a family of real-time kernels

Scalability of a distributed real-time resource counter

Language support for the Maruti real-time system

Specifying and verifying a real-time priority queue with modal algebra

Strategies for predictability in real-time data-flow architectures

[1990] Proceedings 11th Real-Time Systems Symposium
Latest Publications