The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 34th Real-Time Systems Symposium (1997)
San Francisco, CA
Dec. 3, 1997 to Dec. 5, 1997
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
H. Takada , Dept. of Inf. Sci., Tokyo Univ., Japan
K. Sakamura , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 134
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
G. Luculli , Pisa Univ., Italy
M. Di Natale , Pisa Univ., Italy
pp. 199
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
J. Zhang , NEC Res. Inst., Princeton, NJ, US
J. Hui , NEC Res. Inst., Princeton, NJ, US
pp. 253
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
pp. 341
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool