Proceedings Real-Time Technology and Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818674482

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A framework for simulation of concurrency control policy in real-time systems

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509526 ◽

2002 ◽

Author(s):

Chih Lai ◽

H.R. Callison

Keyword(s):

Real Time ◽

Concurrency Control ◽

Control Policy ◽

Real Time Systems ◽

Time Systems

Download Full-text

DRTSS: a simulation framework for complex real-time systems

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509533 ◽

2002 ◽

Cited By ~ 19

Author(s):

M.F. Storch ◽

J.W.-S. Liu

Keyword(s):

Real Time ◽

Real Time Systems ◽

Simulation Framework ◽

Time Systems

Download Full-text

Efficient worst case timing analysis of data caching

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509540 ◽

2002 ◽

Cited By ~ 3

Author(s):

Sung-Kwan Kim ◽

Sang Lyul Min ◽

Rhan Ha

Keyword(s):

Timing Analysis ◽

Worst Case ◽

Data Caching

Download Full-text

Scalable compositional reachability analysis of real-time concurrent systems

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509535 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Reachability Analysis

Download Full-text

A flexible tool kit for the development of real-time applications

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509543 ◽

2002 ◽

Cited By ~ 1

Author(s):

P. Ancilotti ◽

G. Buttazzo ◽

M. Di Natale ◽

M. Bizzarri

Keyword(s):

Real Time ◽

Flexible Tool ◽

Real Time Applications

Download Full-text

Evaluation of wireless soft real-time protocols

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509531 ◽

2002 ◽

Cited By ~ 3

Author(s):

M.J. Markowski ◽

A.S. Sethi

Keyword(s):

Real Time

Download Full-text

Predictable communication protocol processing in real-time Mach

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509539 ◽

2002 ◽

Cited By ~ 2

Author(s):

Chen Lee ◽

K. Yoshida ◽

C. Mercer ◽

R. Rajkumar

Keyword(s):

Real Time ◽

Communication Protocol

Download Full-text

Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509520 ◽

2002 ◽

Author(s):

J.F. Conde ◽

A. Garcia-Martinez ◽

A. Vina

Keyword(s):

Real Time ◽

Software Platform ◽

Time Data ◽

Data Intensive ◽

Hazardous Environments ◽

Real Time Data ◽

Data Intensive Applications

Download Full-text

Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509528 ◽

2002 ◽

Cited By ~ 5

Author(s):

D. Gaudreau ◽

P. Freedman

Keyword(s):

Software Development ◽

Real Time ◽

Object Oriented ◽

Temporal Analysis

Download Full-text

Mechanical verification of timed automata: a case study

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509536 ◽

2002 ◽

Cited By ~ 11

Author(s):

M. Archer ◽

C. Heitmeyer

Keyword(s):

Timed Automata ◽

Mechanical Verification

Download Full-text

Proceedings Real-Time Technology and ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

A framework for simulation of concurrency control policy in real-time systems

DRTSS: a simulation framework for complex real-time systems

Efficient worst case timing analysis of data caching

Scalable compositional reachability analysis of real-time concurrent systems

A flexible tool kit for the development of real-time applications

Evaluation of wireless soft real-time protocols

Predictable communication protocol processing in real-time Mach

Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments

Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime

Mechanical verification of timed automata: a case study

Proceedings Real-Time Technology and Applications
Latest Publications