The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 34th Real-Time Systems Symposium (2005)
Miami, Florida
Dec. 5, 2005 to Dec. 8, 2005
ISBN: 0-7695-2490-7
TABLE OF CONTENTS
Introduction
pp. xiv
Committees (PDF)
pp. xi-xiii
Real-Time Networking
Qixin Wang , University of Illinois at Urbana-Champaign
Xue Liu , University of Illinois at Urbana-Champaign
Weiqun Chen , University of Cincinnati
Wenbo He , University of Illinois at Urbana-Champaign
Marco Caccamo , University of Illinois at Urbana-Champaign
pp. 3-14
B. Andersson , Polytechnic Institute of Porto
E. Tovar , Polytechnic Institute of Porto
N. Pereira , Polytechnic Institute of Porto
pp. 15-24
Data Management
Ming Xiong , Bell Labs, Lucent Technologies
Song Han , City University of Hong Kong
Kam-Yiu Lam , City University of Hong Kong
pp. 27-37
Nicolas Chaufette , Linköping University
Jörgen Hansson , Carnegie Mellon University
Sang H. Son , University of Virginia
Svante Gunnarsson , Linköping University
pp. 38-49
Gang Zhou , University of Virginia
Tarek F. Abdelzaher , University of Illinois at Urbana-Champaign
Sang Hyuk Son , University of Virginia
John A. Stankovic , University of Virginia
pp. 50-61
Jason Baker , Purdue University
Antonio Cunei , Purdue University
Suresh Jagannathan , Purdue University
Jeremy Manson , Purdue University
Bin Xin , Purdue University
Jan Vitek , Purdue University
pp. 62-71
Modeling
Samarjit Chakraborty , National University of Singapore
Linh T. X. Phan , National University of Singapore
P. S. Thiagarajan , National University of Singapore
pp. 87-98
Slobodan Matic , University of California at Berkeley
pp. 99-110
Antoine Girard , University of Pennsylvania
George J. Pappas , University of Pennsylvania
Rajeev Alur , University of Pennsylvania
pp. 111-120
Multi-Resource Scheduling
Prasad Calyam , OARnet and The Ohio State University
Phani Kumar Arava , The Ohio Sate University
Dima Krymskiy , The Ohio Sate University
pp. 123-132
Dong Jia , Carnegie Mellon University
Chenyang Lu , Washington University in St. Louis
Xenofon Koutsoukos , Vanderbilt University
pp. 133-142
Saowanee Saewong , Carnegie Mellon University
pp. 143-153
Formal Methods and Specifications
Dezhuang Zhang , State University of New York at Stony Brook
pp. 157-166
Zonghua Gu , Hong Kong University of Science and Technology
pp. 167-176
Robustness
Chenyang Lu , Washington University in St. Louis
Xiaorui Wang , Washington University in St. Louis
pp. 189-199
Aloysius K. Mok , University of Texas at Austin
Wing-Chi Poon , University of Texas at Austin
pp. 200-209
Hui Ding , University of Illinois at Urbana-Champaign
pp. 210-220
Hardware/Software Boundary
Tulika Mitra , National University of Singapore
Abhik Roychoudhury , National University of Singapore
Vivy Suhendra , National University of Singapore
pp. 223-232
Frank Mueller , North Carolina State University
William Hawkins , University of Illinios at Urbana-Champaign
Michael Root , Furman University
Sibin Mohan , North Carolina State University
David Whalley , Florida State University
pp. 233-242
Sensor Networks I
Chang-Gun Lee , Ohio State University
Min-Young Nam , Ohio State University
Marco Caccamo , University of Illinois at Urbana-Champaign
pp. 245-255
Anthony Rowe , Carnegie Mellon University
Anand Eswaran , Carnegie Mellon University
pp. 256-265
Sensor Networks II
Vinayak Naik , Ohio State University
Anish Arora , Ohio State University
Prasun Sinha , Ohio State University
Hongwei Zhang , Ohio State University
pp. 277-286
Kyriakos Karenos , University of California at Riverside
Vana Kalogeraki , University of California at Riverside
Srikanth V. Krishnamurthy , University of California at Riverside
pp. 287-297
Jai-Jin Lim , University of Michigan
Kang G. Shin , University of Michigan
pp. 298-307
Multiprocessor Scheduling
Paolo Valente , Scuola Superiore S. Anna
Giuseppe Lipari , Scuola Superiore S. Anna
pp. 311-320
Sanjoy Baruah , University of North Carolina at Chapel Hill
pp. 321-329
UmaMaheswari C. Devi , University of North Carolina at Chapel Hill
pp. 330-341
Energy-Awareness
Jian-Jia Chen , National Taiwan University
Tei-Wei Kuo , University of South Carolina
pp. 345-355
Tarek A. AlEnawy , George Mason University
Hakan Aydin , George Mason University
pp. 376-385
Scheduling
R. I. Davis , University of York
pp. 389-398
Enrico Bini , Scuola Superiore Sant?Anna
pp. 399-409
Caixue Lin , University of California at Santa Cruz
pp. 410-421
Author Index
Author Index (PDF)
pp. 423-424
34 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool