Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818680733
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Robot control in hard real-time environment

2002 ◽  
Author(s):  
G. Buttazzo ◽  
F. Conticelli ◽  
G. Lamastra ◽  
G. Lipari
Keyword(s):  
Real Time ◽  
Robot Control ◽  
Hard Real Time

A switch scheduling algorithm for periodic messages using laxity decomposition method

2002 ◽  
Author(s):  
Jaehong Shim ◽  
Kyongok Yun ◽  
Kyunghee Choi ◽  
Gihyun Jung ◽  
Seungkyu Park ◽  
...  
Keyword(s):  
Decomposition Method ◽  
Scheduling Algorithm

Experiences with analysis of formal specifications in Astral

2002 ◽  
Author(s):  
K. Brink ◽  
J. van Katwijk ◽  
R.F. Lutje Spelberg ◽  
W.J. Toetenel
Keyword(s):  
Formal Specifications

HARTIK 3.0: a portable system for developing real-time applications

2002 ◽  
Author(s):  
G. Lamastra ◽  
G. Lipari ◽  
G. Buttazzo ◽  
A. Casile ◽  
F. Conticelli
Keyword(s):  
Real Time ◽  
Portable System ◽  
Real Time Applications
Load More ...
Sign in / Sign up

Export Citation Format

Share Document