7. RTCSA 2000:
Cheju Island, South Korea Invited Address I
export record as
dblp key:
In Ryu :
Current Issues and Challenges in Embedded Software Development.
3-
Formal Methods I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Henrik Theiling :
Extracting safe and precise control flow from binaries.
23-30
export record as
dblp key:
export record as
dblp key:
Real-Time Systems I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kevin Jeffay ,
Gerardo Lamastra :
A comparative study of the realization of rate-based computing services in general purpose operating systems.
81-
Databases I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jan Lindström :
Extensions to optimistic concurrency control with time intervals.
108-
Communications I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Scheduling I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/rtcsa/KreuzingerSPUBK00 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Communications II
export record as
dblp key:
export record as
dblp key:
Tatsuo Nakajima :
Explicit binding interface for supporting native ATM networks in a CORBA system.
199-206
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Address II
export record as
dblp key:
Formal Methods II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Scheduling II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/rtcsa/Mejia-AlvarezAMM00
Invited Address III
export record as
dblp key:
Scheduling III
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Communications III
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Li-Hsing Yen :
Probabilistic analysis of causal message ordering.
409-
Real-Time Systems II
export record as
dblp key:
conf/rtcsa/En-NouaaryKD00 export record as
dblp key:
export record as
dblp key:
Håkan Sundell ,
Philippas Tsigas :
Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information.
433-440
export record as
dblp key:
Databases II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Alexander Münnich :
PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.
468-472
export record as
dblp key:
Formal Methods III
export record as
dblp key:
Naijun Zhan :
Another formal proof for Deadline Driven Scheduler.
481-485
export record as
dblp key:
Jyhjong Lin :
Real-time systems development: from structured analysis to object-oriented design.
486-490
export record as
dblp key:
conf/rtcsa/MuthiayenAKS00 export record as
dblp key:
Stefan M. Petters :
Bounding the execution time of real-time tasks on modern processors.
498-502
export record as
dblp key:
export record as
dblp key:
Jan Gustafsson :
Eliminating annotations by automatic flow analysis of real-time programs.
511-516
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
