• R
  • RTSS
  • 1997
  • 18th IEEE Real-Time Systems Symposium (RTSS '97)
Advanced Search 
18th IEEE Real-Time Systems Symposium (RTSS '97)
San Francisco, CA
December 03-December 05
ISBN: 0-8186-8268-X
Table of Contents
Session 1: Model Checking
K. Havelund, BRICS, Aalborg Univ., Denmark
A. Skou, BRICS, Aalborg Univ., Denmark
K.G. Larsen, BRICS, Aalborg Univ., Denmark
K. Lund, BRICS, Aalborg Univ., Denmark
pp. 2
K.G. Larsen, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
F. Larsson, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
P. Pettersson, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
W. Yi, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
pp. 14
A. Bouajjani, VERIMAG, Gieres, France
S. Tripakis, VERIMAG, Gieres, France
S. Yovine, VERIMAG, Gieres, France
pp. 25
Session 2: Scheduling Theory
C.-C. Han, Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
H.-Y. Tyan, Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 36
G. Bernat, Univ. de les Illes Balears, Palma de Mallorca, Spain
A. Burns, Univ. de les Illes Balears, Palma de Mallorca, Spain
pp. 46
J.P. Lehoczky, Dept. of Stat., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 58
S.K. Baruah, Vermont Univ., Burlington, VT, USA
D. Chen, Vermont Univ., Burlington, VT, USA
A.K. Mok, Vermont Univ., Burlington, VT, USA
pp. 68
Session 3: Fault Tolerance
O. Gonzalez, Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
H. Shrikumar, Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
J.A. Stankovic, Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
K. Ramamritham, Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 79
M. Clegg, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
K. Marzullo, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 90
S. Han, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 99
Session 5: Synchronization and Data Sharing
J.H. Anderson, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
R. Jain, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
S. Ramamurthy, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 111
R. Gupta, Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
J. Haritsa, Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
K. Ramamritham, Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
pp. 123
Session 6: Runtime System Implementation
A. Molano, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
K. Juvva, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
R. Rajkumar, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 155
A. Miyoshi, Res. Inst. at SFC, Keio Univ., Kanagawa, Japan
T. Kitayama, Res. Inst. at SFC, Keio Univ., Kanagawa, Japan
H. Tokuda, Res. Inst. at SFC, Keio Univ., Kanagawa, Japan
pp. 166
A.K. Mok, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
G. Liu, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 176
Session 7: Cache-Related and Hardware Scheduler
Chang-Gun Lee, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Joosun Hahn, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Yang-Min Seo, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sang Lyul Min, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Rhan Ha, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chang Yun Park, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Minsuk Lee, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong Sang Kim, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 187
Byung Kook Kim, Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
K.G. Shin, Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 210
Session 8: Specification and Design of Real-Time Systems
S. Fowler, Dept. of Comput. Sci., York Univ., UK
A. Wellings, Dept. of Comput. Sci., York Univ., UK
pp. 220
G. Gupta, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
E. Pontelli, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
pp. 230
M. Saksena, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
P. Freedman, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
P. Rodziewicz, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 240
Session 9: Real-Time Networks
C. Li, 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
W. Zhao, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 264
A. Ermedahl, Dept. of Comput. Syst., Uppsala Univ., Sweden
H. Hansson, Dept. of Comput. Syst., Uppsala Univ., Sweden
M. Sjodin, Dept. of Comput. Syst., Uppsala Univ., Sweden
pp. 274
Joseph Kee-Yin Ng, Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
Shibin Song, Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
Wei Zhao, Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
pp. 285
Session 10: QoS and Open Systems
R. Rajkumar, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
C. Lee, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
J. Lehoczky, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
D. Siewiorek, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 298
Z. Deng, Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.-S. Liu, Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 308
D. Rosu, Georgia Inst. of Technol., Atlanta, GA, USA
K. Schwan, Georgia Inst. of Technol., Atlanta, GA, USA
S. Yalamanchili, Georgia Inst. of Technol., Atlanta, GA, USA
R. Jha, Georgia Inst. of Technol., Atlanta, GA, USA
pp. 320
M. Caccamo, Scuola Normale Superiore, Pisa, Italy
G. Buttazzo, Scuola Normale Superiore, Pisa, Italy
pp. 330
Session 11: Industrial Panel: Real Issues and Real Solutions
Usage of this product signifies your acceptance of the Terms of Use.