6. RTCSA 1999:
Hong Kong,
China
6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China.
IEEE Computer Society 1999, ISBN 0-7695-0306-3 BibTeX
@proceedings{DBLP:conf/rtcsa/1999,
title = {6th International Workshop on Real-Time Computing and Applications
Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China},
booktitle = {RTCSA},
publisher = {IEEE Computer Society},
year = {1999},
isbn = {0-7695-0306-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Databases
Scheduling I
Sofware & Systems
Communications
Formal Methods I
- Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli:
Fault Coverage in Testing Real-Time Systems.
150-157
Electronic Edition (link) BibTeX
- Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau:
Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD .
158-165
Electronic Edition (link) BibTeX
- Sasaki Shigero, Matsumoto Takashi, Hiraki Kei:
On the Schedulability Conditions on Partial Time Slots .
166-173
Electronic Edition (link) BibTeX
- Zhe Dang, Richard A. Kemmerer:
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.
174-181
Electronic Edition (link) BibTeX
- Christer Norström, Anders Wall, Wang Yi:
Timed Automata as Task Models for Event-Driven Systems.
182-189
Electronic Edition (link) BibTeX
- Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc:
Formal Description of Real-time Systems using SDL.
190-
Electronic Edition (link) BibTeX
Multimedia & Architecture
- Hiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura:
On-Chip Multimedia Real-Time OS and its MPEG-2 Applications.
200-203
Electronic Edition (link) BibTeX
- Xiaoyan He, Lui Sha:
A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture.
204-207
Electronic Edition (link) BibTeX
- Tommy Klevin, Lennart Lindh:
Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring.
208-211
Electronic Edition (link) BibTeX
- Ragnar Birgisson, Jonas Mellin, Sten F. Andler:
Bounds on Test Effort for Event-Triggered Real-Time Systems.
212-215
Electronic Edition (link) BibTeX
- Tim Edmonds, Steve Hodges, Andy Hopper:
An Adaptive Thin-Client Robot Control Architecture.
216-219
Electronic Edition (link) BibTeX
- Y. F. Leung, Edward Chan, Kam-yiu Lam:
Adaptive Channel Allocation Methods for Distributed MPEG Player System Over a Cellular Radio Network.
220-
Electronic Edition (link) BibTeX
Invited Talk II
Architecture
Scheduling II
Best Student Paper
Invited Talk III
Fault Tolerance
Real-Time Requirements
Scheduling III
Resource Management
- Jinhwan Kim:
Firm Real-Time Optimistic Concurrency Control Algorithms for Replicated Database Systems.
416-
Electronic Edition (link) BibTeX
- Byung-Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun:
Development of a Host DBMS for Testing Switching System Software.
420-
Electronic Edition (link) BibTeX
- Sergio Saez, Joan Vila i Carbó, Alfons Crespo:
Development of a Host DBMS for Testing Switching System Software.
424-
Electronic Edition (link) BibTeX
- Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi:
No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems.
428-
Electronic Edition (link) BibTeX
O. S. & Design Spec.
Formal Methods II
Copyright © Sat May 16 23:36:13 2009
by Michael Ley (ley@uni-trier.de)
