7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea.
IEEE Computer Society 2000, ISBN 0-7695-0930-4
7. RTCSA 2000:
Cheju Island, South Korea
Invited Address I
: Current Issues and Challenges in Embedded Software Development.
Formal Methods I
Real-Time Systems I
: Extensions to optimistic concurrency control with time intervals.
: Explicit binding interface for supporting native ATM networks in a CORBA system.
Invited Address II
Formal Methods II
Invited Address III
: Probabilistic analysis of causal message ordering.
Real-Time Systems II
: PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.
Formal Methods III
: Another formal proof for Deadline Driven Scheduler.
: Real-time systems development: from structured analysis to object-oriented design.
Stefan M. Petters
: Bounding the execution time of real-time tasks on modern processors.
: Eliminating annotations by automatic flow analysis of real-time programs.