The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 34th Real-Time Systems Symposium (1995)
Pisa, ITALY
Dec. 5, 1995 to Dec. 7, 1995
ISBN: 0-8186-7337-0
TABLE OF CONTENTS
Foreword (PDF)
pp. viii
Committees (PDF)
pp. ix
Reviewers (PDF)
pp. x
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
pp. 18
S. Ramamurthy , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
J.H. Anderson , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 28
G. Wallace , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
M. Humphrey , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 38
V. Rustagi , Humboldt-Univ., Berlin, Germany
F. Mueller , 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
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
pp. 110
Session 5: Fault Tolerance: Chair: Neeraj Suri, Allied Signal Research, USA
S. Ghosh , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
D. Mosse , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 120
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
G. Fohler , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 152
T.F. Abdelzaher , 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
M. Braun , Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
C. Ebner , Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
H. Kopetz , 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
Chao-Ju Hou , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
Ching-Chih Han , 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
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
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
C. Puchol , 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
S. Malik , Dept. of Electr. Eng., Princeton Univ., NJ, USA
Y.-T.S. Li , 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
Y.C. Tay , Nationma University of Singapore
pp. 322
M.R. Lehr , 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
pp. 342
Author Index (PDF)
pp. 353
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool