1993 Proceedings Real-Time Systems Symposium
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

081864480x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementation of a synchronous execution machine on Chorus micro-kernel

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393501 ◽

2002 ◽

Author(s):

R. Bernhard ◽

L. Hazard ◽

F. Horn ◽

J.-B. Stefani

Download Full-text

How to get serializability for real-time transactions without having to pay for it

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393515 ◽

2002 ◽

Author(s):

M.H. Graham

Keyword(s):

Download Full-text

Queuing spin lock algorithms to support timing predictability

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393505 ◽

2002 ◽

Author(s):

T.S. Craig

Keyword(s):

Download Full-text

Architectural considerations in the design of real-time kernels

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393506 ◽

2002 ◽

Author(s):

S.L.A. Lo ◽

N.C. Hutchinson ◽

S.T. Chanson

Keyword(s):

Download Full-text

Validation of design for space launch vehicles

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393494 ◽

2002 ◽

Author(s):

B.J. Jambor ◽

G.W. Eger ◽

S.D. Layton

Keyword(s):

Launch Vehicles ◽

Space Launch ◽

Space Launch Vehicles

Download Full-text

SSP: A semantics-based protocol for real-time data access

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393513 ◽

2002 ◽

Author(s):

T.-W. Kuo ◽

A.K. Mok

Keyword(s):

Real Time ◽

Data Access ◽

Time Data ◽

Download Full-text

Object-based semantic real-time concurrency control

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393512 ◽

2002 ◽

Author(s):

L.B.C. DiPippo ◽

V.F. Wolfe

Keyword(s):

Real Time ◽

Concurrency Control ◽

Download Full-text

Really visual temporal reasoning

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393490 ◽

2002 ◽

Author(s):

Y.S. Ramakrishna ◽

P.M. Melliar-Smith ◽

L.E. Moser ◽

L.K. Dillon ◽

G. Kutty

Keyword(s):

Temporal Reasoning

Download Full-text

Automatic symbolic verification of embedded systems

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393520 ◽

2002 ◽

Author(s):

R. Alur ◽

T.A. Henzinger ◽

P.-H. Ho

Keyword(s):

Embedded Systems ◽

Symbolic Verification

Download Full-text

A new Petri net based formalism for specification, design and analysis of real-time systems

1993 Proceedings Real-Time Systems Symposium ◽

10.1109/real.1993.393487 ◽

2002 ◽

Author(s):

G. Bruno ◽

A. Castella ◽

I. Pavesio ◽

M.P. Pescarmona

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Download Full-text