3. RTCSA 1996: Seoul, Korea

Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea. IEEE Computer Society 1996

@proceedings{DBLP:conf/rtcsa/1996,
  title     = {Third International Workshop on Real-Time Computing Systems Application
               (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea},
  booktitle = {RTCSA},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Multimedia

Kyoung-Sang Yu, Hyuck Yoo:
Elimination of data copying for multimedia communication. 4-9
Joseph Kee-Yin Ng:
A study on transmitting MPEG-I video over a FDDI network. 10-17
Yeong-Geon Seo, Moon-Ryul Jung, Hae-Seok Oh:
Sending, receiving and presenting multimedia data over network for tele-medical diagnosis (MediNet). 18-25
Tatsuo Nakajima, Hiroshi Tezuka:
Continuous media storage system supporting VBR streams. 26-

Communications I

Hea-Sook Park, Sung-Jin Moon, Mee-Hye Lee, Kwang-Suk Song:
The design and comparison of two IPC control methods in an ATM switching control system. 36-40
Seungkweon Jeong, Jaehyun Park, Wook Hyun Kwon, Kang G. Shin:
Evaluation of the communication latency over real-time channel in HARTS. 41-48
Xiaohua Jia, Jiannong Cao, Weijia Jia:
Real-time multicast routing with optimal network cost. 49-

Invited Talk

Hans Hansson:
Guaranteeing Real-Time Traffic Through an ATM Network. 58-

Databases I

Dong-Kweon Hong, Myung-Joon Kim, Sharma Chakravarthy:
Incorporating load factor into the scheduling of soft real-time transactions for main memory databases. 60-66
Sang Kyun Cha, Jang Ho Park, S. J. Lee, Byoung Dae Park, J. S. Lee:
An extensible architecture for main-memory real-time storage systems. 67-73
Chang-Gun Lee, Young-Kuk Kim, Sang Hyuk Son, Sang Lyul Min, Chong-Sang Kim:
Efficiently supporting hard/soft deadline transactions in real-time database systems. 74-80
Kong-Rim Choi, Kyung-Chang Kim:
T*-tree: a main memory database index structure for real time applications. 81-

Specification and Verification

S. Yamane:
The verification technique of real-time systems using probabilities. 90-97
K. Brink, Jan van Katwijk, W. J. Toetenel:
Ada 95 as implementation vehicle for formal specifications. 98-105
Farn Wang:
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. 106-

Invited Talk

Jane W.-S. Liu:
Timing Validation and Temporal Quality-of-Service Guarantees. 116-

Databases II

Ming-Chung Liang, Tei-Wei Kuo, LihChyun Shu:
BAP: a class of abort-oriented protocols based on the notion of compatibility. 118-127
Kam-yiu Lam, Victor C. S. Lee, Sheung-lun Hung, Ben Kao:
Impact of priority assignment on optimistic concurrency control in distributed real-time databases. 128-135
Chanjung Park, Seog Park:
A multiversion locking protocol for real-time databases with multilevel security. 136-143
Kwok-Wa Lam, Sheung-lun Hung:
A pre-emptive transaction scheduling protocol for controlling priority inversion. 144-

Fault Tolerance

Chung-Sei Rhee, Heok-Jung Kwon, Young-Tak Kwon, Byung-Whan Choi:
On the real time diagnosability of multiprocessor systems by comparison approach. 154-161
Célio Estevan Morón:
Designing a real-time recoverable action. 162-169
M. D. Baba, Hsmail Ekiz, A. Kutlu, E. T. Powner:
Toward adaptable distributed real-time computer systems. 170-

Invited Talk

Farnam Jahanian:
Fault-Tolerance in Distributed Real-Time Systems. 178-

Timing Analysis

Kyeonghoon Koo, Wook Hyun Kwon:
Worst-case timing prediction of relay ladder logic by constraint analysis. 180-186
Apostolos A. Kountouris:
Safe and efficient elimination of infeasible execution paths in WCET estimation. 187-194
José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:
Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems. 195-202
Tai M. Chung, Henry G. Dietz:
Static scheduling of hard real-time code with instruction-level timing accuracy. 203-

Communications II

Junghoon Lee, Seungjun Park:
An error control scheme for Ethernet-based real-time communication. 214-219
M. Li:
The cyclic services in an industrial network. 220-226
Hirohisa Mori, Hirohisa Mano, Hideyuki Takada, Ken Sakamura:
/spl mu/ITRON bus: a real-time control LAN for open network environment. 227-

Invited Talk

C. Douglas Locke:
Software Architecture for Real-Time Applications. 236-237
Jaehong Shim, Kyunghee Choi, Gihyun Jung, Seungkyu Park, HyeonSik Shin, Dongyoon Kim:
Priority inversion handling in microkernel-based Real-Time Mike. 238-245
Ichiro Mizunuma, Chia Shen, Morikazu Takegaki:
New architecture of industrial systems with real-time ATM middleware. 246-253
T. Ohkubo, I. Takenaka, T. Wasano, M. Omiya:
Quality criteria for realtime microkernel products. 254-260
Tatsuo Nakajima, Hiroshi Fujita:
Experiences with adaptive QOS mapping scheme. 261-

Software Systems and Programming Environments

Frédéric Boussinot, Laurent Hazard:
Reactive scripts. 270-277
B. Noorduin, Jan van Katwijk, Cornelis Pronk:
Gnass: a Gnat-based allocation and scheduling system. 278-285
Sungjoo Yoo, Jinhwan Jeon, Seongsoo Hong, Kiyoung Choi:
Hardware-Software Codesign of Resource-Constrained Real-Time Systems. 286-

Scheduling

Ismael Ripoll, Ana García-Fornes, Alfons Crespo:
Optimal aperiodic scheduling for dynamic-priority systems. 294-300
Namyun Kim:
A scheduling technique for real-time systems with end-to-end timing constraints. 301-306
Kyongok Yun, Kihyun Song, Kyunghee Choi, Gihyun Jung, Seungkyu Park, Manpyo Hong, Dugkyoo Choi:
A Heuristic Scheduling Algorithm of Imprecise Multiprocessor System with O/l Constraint. 307-313
Hyungill Kim, Sungyoung Lee, Jongwon Lee:
Scheduling of hard-aperiodic requests in dynamic priority systems. 314-319
Jinho Kim, Kang G. Shin:
On data logging in real-time process control systems. 320-

Last update Tue Feb 14 04:09:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page