- R
- RTCSA
- 2000
- Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00)
| | This Publication | | | | | | | |
| | | | Bibliographic References | | | |
| | | | |
Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00) Cheju Island, South Korea December 12-December 14 ISBN: 0-7695-0930-4 Table of Contents
 | Invited Address I |
 | Session 1a: Formal Methods I |
Saehwa Kim, Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., South Korea
Sukjae Cho, Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., South Korea
Seongsoo Hong, Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., South Korea pp. 7
M. Lindgren, Real-Time Res. Centre, Malardalen Univ., Sweden
H. Hansson, Real-Time Res. Centre, Malardalen Univ., Sweden
H. Thane, Real-Time Res. Centre, Malardalen Univ., Sweden pp. 15
I. Bate, Dept. of Comput. Sci., York Univ., UK
G. Bernat, Dept. of Comput. Sci., York Univ., UK
G. Murphy, Dept. of Comput. Sci., York Univ., UK pp. 39
 | Session 1b: Real-Time Systems I |
Chi-Min Lin, Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Tien-Fu Chen, Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan pp. 49
P. Holman, North Carolina Univ., Chapel Hill, NC, USA pp. 57
Daeyoung Kim, CISE Dept., Florida Univ., Gainesville, FL, USA
M. Younis, CISE Dept., Florida Univ., Gainesville, FL, USA pp. 73
K. Jeffay, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
G. Lamastra, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA pp. 81
 | Session 2a: Databases I |
LihChyun Shu, Dept. of Inf. Manage., Chang Jung Univ., Taiwan
M. Young, Dept. of Inf. Manage., Chang Jung Univ., Taiwan pp. 93
Jin Hyun Son, Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Myoung Ho Kim, Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea pp. 102
J. Lindstrom, Dept. of Comput. Sci., Helsinki Univ., Finland pp. 108
 | Session 2b: Communications I |
B. Choi, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
R. Bettati, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA pp. 119
Yu-Sheng Huang, Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Chih-Wen Hsueh, Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan pp. 127
E. Uhlemann, Comput. & Commun. Lab., Halmstad Univ., Sweden
P.-A. Wiberg, Comput. & Commun. Lab., Halmstad Univ., Sweden
T.M. Aulin, Comput. & Commun. Lab., Halmstad Univ., Sweden pp. 135
 | Short Session 3a: Scheduling I |
S. Saez, Dept. de Inf. de Sistemas y Comput., Univ. Politecnica de Valencia, Spain
J. Vila, Dept. de Inf. de Sistemas y Comput., Univ. Politecnica de Valencia, Spain
A. Crespo, Dept. de Inf. de Sistemas y Comput., Univ. Politecnica de Valencia, Spain pp. 145
R. Dobrin, Dept. of Comput. Eng., Malardalen Univ., Sweden
Y. Ozdemir, Dept. of Comput. Eng., Malardalen Univ., Sweden
G. Fohler, Dept. of Comput. Eng., Malardalen Univ., Sweden pp. 150
J. Kreuzinger, Inst. for Comput. Design, Karlsruhe Univ., Germany
A. Schulz, Inst. for Comput. Design, Karlsruhe Univ., Germany
M. Pfeffer, Inst. for Comput. Design, Karlsruhe Univ., Germany
T. Ungerer, Inst. for Comput. Design, Karlsruhe Univ., Germany
C. Krakowski, Inst. for Comput. Design, Karlsruhe Univ., Germany pp. 155
J. Kee-Yin Ng, Dept. of Comput. Sci., Hong Kong Baptist Univ., China
Wai Wong, Dept. of Comput. Sci., Hong Kong Baptist Univ., China pp. 160
S. Salva, LERI-RESYCOM, Reims Univ., France pp. 166
C.C.H. Ngan, Dept. of Comput. Sci., City Univ. of Hong Kong, China
Kam-Yiu Lam, Dept. of Comput. Sci., City Univ. of Hong Kong, China pp. 172
Jin-Ho Kim, Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
Sang-Wook Kim, Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
Dae-Yong Kim, Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
Wan Choi, Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea pp. 177
Y. Meylan, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
A. Bajpai, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
R. Bettati, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA pp. 183
 | Session 3b: Communications II |
Minseok Song, Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
Naehyuck Chang, Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
Heonshik Shin, Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea pp. 191
T. Nakajima, Dept. of Inf. & Comput. Sci., Waseda Univ., Tokyo, Japan pp. 199
H. Toetenel, Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
R.L. Spelberg, Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
G. Bandini, Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands pp. 207
Song Wang, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Yu Chung Wang, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Kwei-Jay Lin, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA pp. 215
Libin Dong, Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Rami Melhem, Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
D. Mosse, Dept. of Comput. Sci., Pittsburgh Univ., PA, USA pp. 223
A. Pavan, Honeywell Technol. Center, Minneapolis, MN, USA
V. Gopal, Honeywell Technol. Center, Minneapolis, MN, USA
S. Song, Honeywell Technol. Center, Minneapolis, MN, USA
N. Birch, Honeywell Technol. Center, Minneapolis, MN, USA
R. Harinath, Honeywell Technol. Center, Minneapolis, MN, USA
D. Castanon, Honeywell Technol. Center, Minneapolis, MN, USA pp. 231
 | Invited Address II |
 | Session 4a: Formal Methods II |
V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
D. Muthiayen, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada pp. 245
A. Terrasa, Dept. de Sistemas Inf. y Comput., Univ. Politecnica de Valencia, Spain
A. Garcia-Fornes, Dept. de Sistemas Inf. y Comput., Univ. Politecnica de Valencia, Spain
V. Botti, Dept. de Sistemas Inf. y Comput., Univ. Politecnica de Valencia, Spain pp. 255
A. Wall, Malardalen Univ., Vasteras, Sweden
Wang Yi, Malardalen Univ., Vasteras, Sweden pp. 263
F.L. Pelayo, Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
F. Cuartero, Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
V. Valero, Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
D. Cazorla, Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain pp. 271
M. Lindgren, Real-Time Res. Centre, Malardalen Univ., Sweden
H. Hansson, Real-Time Res. Centre, Malardalen Univ., Sweden
C. Norstrom, Real-Time Res. Centre, Malardalen Univ., Sweden
S. Punnekkat, Real-Time Res. Centre, Malardalen Univ., Sweden pp. 279
 | Session 4b: Scheduling II |
H. Aydin, Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
R. Melhem, Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
D. Mosse, Dept. of Comput. Sci., Pittsburgh Univ., PA, USA pp. 289
J.H. Anderson, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
A. Srinivasan, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA pp. 297
J. Hansson, Dept. of Comput. Sci., Linkoping Univ., Sweden
M. Thuresson, Dept. of Comput. Sci., Linkoping Univ., Sweden
S.H. Son, Dept. of Comput. Sci., Linkoping Univ., Sweden pp. 307
H. Aydin, CINVESTAV-IPN, Mexico City, Mexico
D. Mosse, CINVESTAV-IPN, Mexico City, Mexico
R. Melhem, CINVESTAV-IPN, Mexico City, Mexico pp. 323
 | Invited Address III |
 | Session 6a: Scheduling III |
B. Andersson, Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
J. Jonsson, Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden pp. 337
Hyungil Kim, Sch. of Electron. & Inf., Hyung Hee Univ., Youngin City, South Korea
Sungyoug Lee, Sch. of Electron. & Inf., Hyung Hee Univ., Youngin City, South Korea
Byeong-Soo Jeong, Sch. of Electron. & Inf., Hyung Hee Univ., Youngin City, South Korea pp. 363
Daeyoung Kim, CISE Dept., Florida Univ., Gainesville, FL, USA pp. 368
 | Short Session 6b: Communications III |
Farn Wang, Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan pp. 379
Baek-Young Choi, Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
Sejun Song, Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
N. Birch, Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
Jim Huang, Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA pp. 384
Dong-Hwan Park, Sch. of Electron. & Electr. Eng., Kyungpook Nat. Univ., Taegu, South Korea
Soon-Ju Kang, Sch. of Electron. & Electr. Eng., Kyungpook Nat. Univ., Taegu, South Korea pp. 389
Seungwoo Son, ETRI-Comput. & Software Technol. Lab., Taejon, South Korea
Chaedeok Lim, ETRI-Comput. & Software Technol. Lab., Taejon, South Korea
Neung-Nam Kim, ETRI-Comput. & Software Technol. Lab., Taejon, South Korea pp. 394
K. Sandstrom, Dept. of Comput. Eng., Malardalen Real-time Res. Centre, Vasteras, Sweden
C. Norstom, Dept. of Comput. Eng., Malardalen Real-time Res. Centre, Vasteras, Sweden
M. Ahlmark, Dept. of Comput. Eng., Malardalen Real-time Res. Centre, Vasteras, Sweden pp. 399
D. Polock, Fachbereich Inf., Koblenz-Landau Univ., Germany
D. Zobel, Fachbereich Inf., Koblenz-Landau Univ., Germany pp. 404
Li-Hsing Yen, Dept. of Comput. Sci. & Inf. Eng., Chung Hua Univ., Hsinchu, Taiwan pp. 409
 | Session 7a: Real-Time Systems II |
F. Khendek, Dept. d'IRO, Montreal Univ., Que., Canada
R. Dssouli, Dept. d'IRO, Montreal Univ., Que., Canada pp. 417
M. Iwai, Graduate Sch. of Media & Governance, Keio Univ., Kanagawa, Japan
J. Nakazawa, Graduate Sch. of Media & Governance, Keio Univ., Kanagawa, Japan
H. Tokuda, Graduate Sch. of Media & Governance, Keio Univ., Kanagawa, Japan pp. 425
H. Sundell, Dept. of Comput. Sci., Chalmers Univ. of Technol., Goteborg, Sweden
P. Tsigas, Dept. of Comput. Sci., Chalmers Univ. of Technol., Goteborg, Sweden pp. 433
A. Khoumsi, Dept. GEGI, Sherbrooke Univ., Que., Canada pp. 441
 | Short Session 7b: Databases II |
Mi-Seon Choi, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Hye-Sook Yoon, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Eun-Mi Song, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Young-Keol Kim, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Young-Kuk Kim, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Soong-Il Jin, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Mi-Kyong Han, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Wan Choi, Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea pp. 453
Heejun Han, Digitaldream Corp., Seoul, South Korea
Seog Park, Digitaldream Corp., Seoul, South Korea pp. 458
J. Lindstrom, Dept. of Comput. Sci., Helsinki Univ., Finland pp. 463
A. Munnich, Inst. for Real-Time Comput. Syst., Tech. Univ. Munchen, Germany pp. 468
V.C.S. Lee, Dept. of Comput. Sci., City Univ. of Hong Kong, China
Kwok-Wa Lam, Dept. of Comput. Sci., City Univ. of Hong Kong, China
S.H. Son, Dept. of Comput. Sci., City Univ. of Hong Kong, China pp. 473
 | Short Session 8: Formal Methods III |
Zhan Naijun, Inst. of Software, Acad. Sinica, Beijing, China pp. 481
Jyhjong Lin, Dept. of Inf. Manage., Chaoyang Univ. of Technol., Wufeng, Taiwan pp. 486
D. Muthiayen, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
F. Khendek, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
A. Sefidcon, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada pp. 491
S.M. Petters, Inst. for Real-Time Comput. Syst., Tech. Univ. Munchen, Germany pp. 498
V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
L. Zhang, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada pp. 503
J. Gustafsson, Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden pp. 511
Seong Woo Kwak, Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Byung Jae Choi, Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Byung Kook Kim, Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea pp. 517
P. Balbastre, Dept. of Comput. Eng., Univ. Politecnica de Valencia, Spain
I. Ripoll, Dept. of Comput. Eng., Univ. Politecnica de Valencia, Spain
A. Crespo, Dept. of Comput. Eng., Univ. Politecnica de Valencia, Spain pp. 522 Usage of this product signifies your acceptance of the Terms of Use.
| | | | | | | |