The Community for Technology Leaders
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (1996)
Seoul, Korea
Oct. 30, 1996 to Nov. 1, 1996
ISBN: 0-8186-7626-4
TABLE OF CONTENTS

Reviewers (PDF)

pp. xi

Session 1 (PDF)

pp. null
Session 1: Multimedia

Elimination of data copying for multimedia communication (Abstract)

Hyuck Yoo , Dept. of Comput. Sci. & Eng., Korea Univ., South Korea
Kyoung-Sang Yu , Dept. of Comput. Sci. & Eng., Korea Univ., South Korea
pp. 4

A study on transmitting MPEG-I video over a FDDI network (Abstract)

J.K.-Y. Ng , Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
pp. 10

Sending, receiving and presenting multimedia data over network for tele-medical diagnosis (MediNet) (Abstract)

Hae-Seok Oh , Dept. of Comput. Sci., Soongsil Univ., Dong-Jak Gu, South Korea
Yeong-Geon Seo , Dept. of Comput. Sci., Soongsil Univ., Dong-Jak Gu, South Korea
Moon-Ryul Jung , Dept. of Comput. Sci., Soongsil Univ., Dong-Jak Gu, South Korea
pp. 18
Session 2: Communications I

The design and comparison of two IPC control methods in an ATM switching control system (Abstract)

Mee-Hye Lee , Processor Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Sung-Jin Moon , Processor Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Hea-Sook Park , Processor Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Kwang-Suk Song , Processor Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
pp. 36

Evaluation of the communication latency over real-time channel in HARTS (Abstract)

Seungkweon Jeong , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Wook Hyun Kwon , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Jaehyun Park , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
K.G. Shin , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
pp. 41

Real-time multicast routing with optimal network cost (Abstract)

W. Jia , Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
J. Cao , Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
X. Jia , Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
pp. 49
Invited Talk 2:
Session 3: Databases I

Incorporating load factor into the scheduling of soft real-time transactions for main memory databases (Abstract)

Myung-Joon Kim , Div. of Comput. Technol., ETRI, Taejon, South Korea
S. Chakravarthy , Div. of Comput. Technol., ETRI, Taejon, South Korea
Dong-Kweon Hong , Div. of Comput. Technol., ETRI, Taejon, South Korea
pp. 60

An extensible architecture for main-memory real-time storage systems (Abstract)

S.K. Cha , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
S.J. Lee , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
J.S. Lee , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
B.D. Park , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
J.H. Park , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
pp. 67

Efficiently supporting hard/soft deadline transactions in real-time database systems (Abstract)

S.H. Son , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sang Lyul Min , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chang-Gun Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Young-Kuk Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong Sang Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 74

T*-tree: a main memory database index structure for real time applications (Abstract)

Kyung-Chang Kim , Dept. of Comput. Sci., Hong Ik Univ., Seoul, South Korea
Kong-Rim Choi , Dept. of Comput. Sci., Hong Ik Univ., Seoul, South Korea
pp. 81
Session 4: Specification and Verification

The verification technique of real-time systems using probabilities (Abstract)

S. Yamane , Dept. of Comput. Sci., Shimane Univ., Matue, Japan
pp. 90

Ada 95 as implementation vehicle for formal specifications (Abstract)

J. van Katwijk , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
W.J. Toetenel , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
K. Brink , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 98
Invited Talk 3:
Session 5: Databases II

BAP: a class of abort-oriented protocols based on the notion of compatibility (Abstract)

Ming-Chung Liang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Tei-Wei Kuo , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
LihChyun Shu , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
pp. 118

Impact of priority assignment on optimistic concurrency control in distributed real-time databases (Abstract)

Sheung-Lun Hung , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Kam-Yiu Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
V.C.S. Lee , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
B.C.M. Kao , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 128

A multiversion locking protocol for real-time databases with multilevel security (Abstract)

Seog Park , Dept. of Comput. Sci., Sogang Univ., Seoul, South Korea
Chanjung Park , Dept. of Comput. Sci., Sogang Univ., Seoul, South Korea
pp. 136

A pre-emptive transaction scheduling protocol for controlling priority inversion (Abstract)

Sheung-Lun Hung , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Kwok-Wa Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 144
Session 6: Fault Tolerance

On the real time diagnosability of multiprocessor systems by comparison approach (Abstract)

Byung-Whan Choi , Dept. of Comput. Sci., Chungbuk Nat. Univ., South Korea
Heok-Jung Kwon , Dept. of Comput. Sci., Chungbuk Nat. Univ., South Korea
Chung-Sei Rhee , Dept. of Comput. Sci., Chungbuk Nat. Univ., South Korea
Young-Tak Kwon , Dept. of Comput. Sci., Chungbuk Nat. Univ., South Korea
pp. 154

Designing a real-time recoverable action (Abstract)

C.E. Moron , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
pp. 162
Invited Talk 4:
Session 7: Timing Analysis

Worst-case timing prediction of relay ladder logic by constraint analysis (Abstract)

Wook Hyun Kwon , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Kyeonghoon Koo , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
pp. 180

Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems (Abstract)

P. Gil , Dept. de Ingenieria de Sistemas, Univ. Politecnica de Valencia, Spain
J.V. Busquets-Mataix , Dept. de Ingenieria de Sistemas, Univ. Politecnica de Valencia, Spain
R. Ors , Dept. de Ingenieria de Sistemas, Univ. Politecnica de Valencia, Spain
J.J. Serrano , Dept. de Ingenieria de Sistemas, Univ. Politecnica de Valencia, Spain
A. Wellings , Dept. de Ingenieria de Sistemas, Univ. Politecnica de Valencia, Spain
pp. 195

Static scheduling of hard real-time code with instruction-level timing accuracy (Abstract)

H.G. Dietz , Sung Kyun Kwan Univ., Suwon, South Korea
T.M. Chung , Sung Kyun Kwan Univ., Suwon, South Korea
pp. 203
Session 8: Communications II

An error control scheme for Ethernet-based real-time communication (Abstract)

Seungjun Park , R&D Center, Daewoo Telecom, Kyunggi, South Korea
Junghoon Lee , R&D Center, Daewoo Telecom, Kyunggi, South Korea
pp. 214

The cyclic services in an industrial network (Abstract)

M. Li , Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 220

/spl mu/ITRON bus: a real-time control LAN for open network environment (Abstract)

H. Takada , Tokyo Univ., Japan
Y. Mano , Tokyo Univ., Japan
K. Sakamura , Tokyo Univ., Japan
H. Mori , Tokyo Univ., Japan
pp. 227
Invited Talk 5:
Session 9: Operating Systems

Priority inversion handling in microkernel-based Real-Time Mike (Abstract)

Kyunghee Choi , Ajou Univ., Suwon, South Korea
Seungkyu Park , Ajou Univ., Suwon, South Korea
Jaehong Shim , Ajou Univ., Suwon, South Korea
Dongyoon Kim , Ajou Univ., Suwon, South Korea
Gihyun Jung , Ajou Univ., Suwon, South Korea
HyeonSik Shin , Ajou Univ., Suwon, South Korea
pp. 238
Session 10: Software Systems and Programming Environments

Reactive scripts (Abstract)

L. Hazard , Ecole des Mines de Paris, Sophia-Antipolis, France
F. Boussinot , Ecole des Mines de Paris, Sophia-Antipolis, France
pp. 270

Gnass: a Gnat-based allocation and scheduling system (Abstract)

J. van Katwijk , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
C. Pronk , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
B. Noorduin , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 278
Session 11: Scheduling

Optimal aperiodic scheduling for dynamic-priority systems (Abstract)

A. Crespo , Dept. de Ingenieria de Sistemas, Comput. y Autom., Univ. Politecnica de Valencia, Spain
A. Garcia-Fornes , Dept. de Ingenieria de Sistemas, Comput. y Autom., Univ. Politecnica de Valencia, Spain
I. Ripoll , Dept. de Ingenieria de Sistemas, Comput. y Autom., Univ. Politecnica de Valencia, Spain
pp. 294

A scheduling technique for real-time systems with end-to-end timing constraints (Abstract)

Namyun Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 301

Scheduling of hard-aperiodic requests in dynamic priority systems (Abstract)

Jongwon Lee , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
Sungyoung Lee , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
Hyungill Kim , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
pp. 314

On data logging in real-time process control systems (Abstract)

Jinho Kim , Dept. of Comput. Sci., Kwangwon Nat. Univ., Chooncheon, South Korea
K.G. Shin , Dept. of Comput. Sci., Kwangwon Nat. Univ., Chooncheon, South Korea
pp. 320

Author Index (PDF)

pp. 327
110 ms
(Ver 3.3 (11022016))