4. RTCSA 1997: Taipei, Taiwan

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
  
• Yuko Onoe, Hideyuki Tokuda:
  Evaluation of media scaling applied multicast protocol. 26-
  

Operating Systems

• Shuichi Oikawa, Ragunathan Rajkumar:
  Scalability in a real-time kernel. 35-42
  
• Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli:
  HARTIK 3.0: a portable system for developing real-time applications. 43-50
  
• Shoji Suzuki, Kang G. Shin:
  On memory protection in real-time OS for small embedded systems. 51-
  

Scheduling A

• Chih-wen Hsueh, Kwei-Jay Lin:
  Schedulability comparisons among periodic and distance-constrained real-time schedulers. 60-66
  
• Jinsung Cho, Heonshik Shin:
  Heuristic scheduling for multimedia streams with firm deadlines. 67-72
  
• Sanjoy K. Baruah, Shun-Shii Lin:
  Improved scheduling of generalized pinwheel task systems. 73-79
  
• 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

• Hans Scholten, Pierre G. Jansen:
  A distributed multimedia toolbox. 170-173
  
• 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
  
• Timothy K. Shih, Anthony Y. Chang:
  A schedule/layout computation model. 178-181
  
• 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
  
• Junghoon Lee, Seungjun Park:
  Design of a DAVIC residential network based on Ethernet. 223-228
  
• Joseph Kee-Yin Ng, Shibin Song:
  A video smoothing algorithm for transmitting MPEG video over limited bandwidth. 229-236
  
• Li-Shen Juhn, Li-Ming Tseng:
  Fast broadcasting for hot video access. 237-243
  
• Mei-Hwey Hou, Chienhua Chen:
  Service disciplines for guaranteed performance service. 244-
  

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-
  

Last update Thu May 23 17:53:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page