17th IEEE Real-Time Systems Symposium REAL-96
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By IEEE

0818676892

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimizing a FIFO, scalable spin lock using consistent memory

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563705 ◽

2002 ◽

Cited By ~ 2

Author(s):

I. Rhee

Keyword(s):

Spin Lock

Download Full-text

A proportional share resource allocation algorithm for real-time, time-shared systems

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563725 ◽

2002 ◽

Cited By ~ 165

Author(s):

I. Stoica ◽

H. Abdel-Wahab ◽

K. Jeffay ◽

S.K. Baruah ◽

J.E. Gehrke ◽

...

Keyword(s):

Resource Allocation ◽

Real Time ◽

Resource Allocation Algorithm ◽

Allocation Algorithm

Download Full-text

Predictability of real-time systems: a process-algebraic approach

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563703 ◽

2002 ◽

Cited By ~ 1

Author(s):

V. Natarajan ◽

R. Cleaveland

Keyword(s):

Real Time ◽

Algebraic Approach ◽

Real Time Systems ◽

Time Systems ◽

Process Algebraic

Download Full-text

Value-cognizant admission control for RTDB systems

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563720 ◽

2002 ◽

Cited By ~ 17

Author(s):

A. Bestavros ◽

S. Nagy

Keyword(s):

Admission Control

Download Full-text

Tool support for the construction of statically analysable hard real-time Ada systems

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563707 ◽

2002 ◽

Cited By ~ 2

Author(s):

T. Vardanega

Keyword(s):

Real Time ◽

Tool Support ◽

Hard Real Time

Download Full-text

High availability in the real-time publisher/subscriber inter-process communication model

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563708 ◽

2002 ◽

Cited By ~ 6

Author(s):

R. Rajkumar ◽

M. Gagliardi

Keyword(s):

Real Time ◽

High Availability ◽

Communication Model ◽

The Real ◽

Process Communication ◽

Inter Process Communication

Download Full-text

A framework for implementing objects and scheduling tasks in lock-free real-time systems

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563704 ◽

2002 ◽

Cited By ~ 15

Author(s):

J.H. Anderson ◽

S. Ramamurthy

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Visual assessment of a real-time system design: a case study on a CNC controller

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563726 ◽

2002 ◽

Cited By ~ 21

Author(s):

Namyun Kim ◽

Minsoo Ryu ◽

Seongsoo Hong ◽

M. Saksena ◽

Chong-Ho Choi ◽

...

Keyword(s):

System Design ◽

Real Time ◽

Visual Assessment ◽

Time System ◽

Real Time System ◽

Cnc Controller

Download Full-text

Correctness of vehicle control systems-a case study

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563701 ◽

2002 ◽

Cited By ~ 5

Author(s):

H.B. Weinberg ◽

N. Lynch

Keyword(s):

Control Systems ◽

Vehicle Control

Download Full-text

The MSP.RTL real-time scheduler synthesis tool

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563706 ◽

2002 ◽

Cited By ~ 18

Author(s):

A.K. Mok ◽

Duu-Chung Tsou ◽

R.C.M. de Rooij

Keyword(s):

Real Time ◽

Synthesis Tool

Download Full-text