4. RTCSA 1997: Taipei, Taiwan
4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan. IEEE Computer Society 1997 ISBN 0-8186-8073-3
Real-Time Communications A
Ray-I Chang, Meng Chang Chen, Jan-Ming Ho, Ming-Tat Ko: Designing the ON-OFF CBR transmission schedule for jitter-free VBR media playback in real-time networks. 2-9
Takuro Kitayama, Akihiko Miyoshi, Tetsuya Saito, Hideyuki Tokuda: Real-time communication in distributed environment-real-time packet filter approach. 10-17
Hea-Sook Park, Sung-Jin Moon, Man-Sik Park, Boseob Kwon, Kwang-Suk Song: Design of inter processor communication controller using ATM switch and analysis of its optimal message length considering retransmission. 18-25
Operating Systems

Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli: HARTIK 3.0: a portable system for developing real-time applications. 43-50
Scheduling A
Chih-wen Hsueh, Kwei-Jay Lin: Schedulability comparisons among periodic and distance-constrained real-time schedulers. 60-66

Hiroaki Takada, Ken Sakamura: Schedulability of generalized multiframe task sets under static priority assignment. 80-86
Seungkweon Jeong, Young Shin Kim, Wook Hyun Kwon: Scheduling algorithm for programmable logic controllers with remote I/Os. 87-
Real-Time Databases
Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang: Concurrency control for real-time database systems with mixed transactions. 96-103
Kwok-Wa Lam, Victor C. S. Lee, Sheung-lun Hung: Scheduling real-time read-only transactions. 104-109
Seung-Sun Lee, Yong-Ik Yoon: An index recovery method for real-time DBMS in client-server architecture. 110-117
Mi-kyong Han, Yong ik Yoon: An implementation and performance analysis of backup system using concurrent log processing in real-time DBMS. 118-
Formal Methods
Jang-Soo Lee, Sung Deok Cha: Behavior verification of hybrid real-time requirements by qualitative formalism. 127-134
Sung-Mook Lim, Jin-Young Choi: Specification and verification of real-time systems using ACSR-VP. 135-142
K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Experiences with analysis of formal specifications in Astral. 143-
Applications
Giorgio C. Buttazzo, Fabio Conticelli, Gerardo Lamastra, Giuseppe Lipari: Robot control in hard real-time environment. 152-159
Jiung-Yao Huang, Chao-Tsong Fang-Tsou, Shuenn-Jyi Wang, Wei-Chyuan Wang: A model and design of a fully distributed computing environment for virtual reality. 160-
Short Paper Presentations

Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik: Platform independent class repository of TMN in personal communication network using entity-aspect oriented programming. 174-177
Rafael Ramirez: A logical approach for specification and execution of concurrent real-time systems. 182-185
T. M. Chen, B. R. Wilkins: A set of new and efficient formulae for buffer size analysis of real-time systems using M/G/1 models. 186-
Scheduling B
Jaehong Shim, Kyongok Yun, Kyunghee Choi, Gihyun Jung, Seungkyu Park, Dugkyoo Choi: A switch scheduling algorithm for periodic messages using laxity decomposition method. 192-197
Sasikumar Punnekkat, Alan Burns: Analysis of checkpointing for schedulability of real-time systems. 198-205
Cheng Chang, Chien-Chung Chen, Yao-Liang Chen, Fu-Shin Huang: Real-time scheduling in a programmable radar signal processor. 206-
Real-Time Communications B
June-Wei Chen, Ren-Hung Hwang, Sing-Ling Lee: QoS allocation of multicast connections in ATM. 215-222
Joseph Kee-Yin Ng, Shibin Song: A video smoothing algorithm for transmitting MPEG video over limited bandwidth. 229-236

Systems
Yoshinori Yamaguchi, Kenji Toda, Kenji Nishida, Eiichi Takahashi: CODA-R: a reconfigurable testbed for real-time parallel computation. 252-259
Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang: PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. 260-267
Tatsuo Nakajima: A toolkit for building continuous media applications. 268-275
Georg Färber, Franz Fischer, Thomas Kolloch, Annette Muth: Improving processor utilization with a task classification model based application specific hard real-time architecture. 276-



