• R
  • RTSS
  • 1995
  • 16th IEEE Real-Time Systems Symposium (RTSS '95)
Advanced Search 
16th IEEE Real-Time Systems Symposium (RTSS '95)
Pisa, ITALY
December 05-December 07
ISBN: 0-8186-7337-0
Table of Contents
Session 1: Applications: Chair: Tullio Vardanega, Euopean Space Agency, The Netherlands
S. Nadjm-Tehrani, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
J.-E. Stromberg, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 2
N. Baker, Dept. of Comput., Univ. West of England, Bristol, UK
W. Harris, Dept. of Comput., Univ. West of England, Bristol, UK
J.-M. Le Goff, Dept. of Comput., Univ. West of England, Bristol, UK
R. McClatchey, Dept. of Comput., Univ. West of England, Bristol, UK
C. Wallace, Dept. of Comput., Univ. West of England, Bristol, UK
pp. 11
Session 2: Synchronization and OS:Chair: Francesco Tisato, University of Milano, Italy
I. Rhee, Dept. of Comput. Sci., Warwick Univ., Coventry, UK
G.R. Martin, Dept. of Comput. Sci., Warwick Univ., Coventry, UK
pp. 18
J.H. Anderson, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
S. Ramamurthy, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
K. Jeffay, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 28
M. Humphrey, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
G. Wallace, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
J.A. Stankovic, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 38
F. Mueller, Humboldt-Univ., Berlin, Germany
V. Rustagi, Humboldt-Univ., Berlin, Germany
T.P. Baker, Humboldt-Univ., Berlin, Germany
pp. 49
Session 3: Formal Methods: Chair: Mathai Joseph, University of Warwick, UK
T.A. Henzinger, Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
Pei-Hsin Ho, Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
H. Wong-Toi, Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 56
C. Daws, VERIMAG, Montbonnot St. Martin, France
S. Yovine, VERIMAG, Montbonnot St. Martin, France
pp. 66
K.G. Larsen, Dept. of Comput. Syst., Uppsala Univ., Sweden
P. Pettersson, Dept. of Comput. Syst., Uppsala Univ., Sweden
Wang Yi, Dept. of Comput. Syst., Uppsala Univ., Sweden
pp. 76
Session 4: Scheduling I: Chair: Sandra Thuel, AT&T Bell Laboratories, USA
G. Buttazzo, Scuola Normale Superiore, Pisa, Italy
M. Spuri, Scuola Normale Superiore, Pisa, Italy
F. Sensini, Scuola Normale Superiore, Pisa, Italy
pp. 90
R. Davis, Dept. of Comput. Sci., York Univ., UK
A. Wellings, Dept. of Comput. Sci., York Univ., UK
pp. 100
G. Koren, Inst. Comput. Sci., Bar-Ilan Univ., Ramat-Gan, Israel
D. Shasha, Inst. Comput. Sci., Bar-Ilan Univ., Ramat-Gan, Israel
pp. 110
Session 5: Fault Tolerance: Chair: Neeraj Suri, Allied Signal Research, USA
S. Ghosh, 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. 120
S. Dawson, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
F. Jahanian, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
T. Mitton, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 130
Biao Chen, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
S. Kamat, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Wei Zhao, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 141
Session 6: Distributed Systems: Chair: Guy Juanole, LAAS-CNRS, France
T.F. Abdelzaher, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 162
Chih-Wen Hsueh, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Kwei-Jay Lin, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Nong Fan, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 172
H. Kopetz, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
M. Braun, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
C. Ebner, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
A. Kruger, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
D. Millinger, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
R. Nossal, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
A. Schedl, Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
pp. 182
Session 7: Scheduling II: Chair: Kevin Jeffay, University of North Carolina, USA
M. DiNatale, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
J.A. Stankovic, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 190
S.K. Baruah, New Jersey Inst. of Technol., Newark, NJ, USA
pp. 200
M. Spuri, Scuola Normale Superiore, Pisa, Italy
G. Buttazzo, Scuola Normale Superiore, Pisa, Italy
F. Sensini, Scuola Normale Superiore, Pisa, Italy
pp. 210
Session 8: Communications: Chair: Hans Hansson, University of Uppsala, Sweden
Ching-Chih Han, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
Chao-Ju Hou, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 222
Chao-Ju Hou, Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
Kar Shun Tsoi, Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
pp. 232
K.A. Kettler, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.P. Lehoczky, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.K. Strosnider, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 242
Session 9: Specification: Chair: Connie Heitmeyer, Naval Research Laborator, USA
C. Puchol, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A.K. Mok, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
D.A. Stuart, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 256
Session 10: Timing Analysis: Chair: Hermann Kopetz, University of Technology, Vienna, Austria
C.A. Healy, Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
D.B. Whalley, Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
M.G. Harmon, Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
pp. 288
Y.-T.S. Li, Dept. of Electr. Eng., Princeton Univ., NJ, USA
S. Malik, Dept. of Electr. Eng., Princeton Univ., NJ, USA
A. Wolfe, Dept. of Electr. Eng., Princeton Univ., NJ, USA
pp. 298
Yerang Hur, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Young Hyun Bae, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sung-Soo Lim, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sung-Kwan Kim, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Byung-Do Rhee, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sang Lyul Min, 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
Heonshik Shin, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong Sang Kim, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 308
Session 11: Real-Time DB and Window Systems: Chair: Riccardo Battati, Texas A&M University, USA
M.R. Lehr, Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Young-Kuk Kim, Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
S.H. Son, Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 332
J.E. Sasinowski, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.K. Strosnider, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 342
Usage of this product signifies your acceptance of the Terms of Use.