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
Mehdi Amirijoo , Linköping University
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
Chengdu Huang , University of Illinois at Urbana-Champaign
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
Jeremy Manson , Purdue University
Jason Baker , Purdue University
Antonio Cunei , Purdue University
Suresh Jagannathan , Purdue University
Marek Prochazka , Purdue University
Bin Xin , Purdue University
Jan Vitek , Purdue University
pp. 62-71
Modeling
William Hawkins , University of Illinois at Urbana-Champaign
Tarek Abdelzaher , University of Illinois at Urbana-Champaign
pp. 75-86
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
Thomas A. Henzinger , EPFL and University of California at Berkeley
pp. 99-110
Hakan Yazarel , University of Pennsylvania
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
Chang-Gun Lee , The Ohio Sate University
Phani Kumar Arava , The Ohio Sate University
Dima Krymskiy , The Ohio Sate University
pp. 123-132
Xiaorui Wang , Washington University in St. Louis
Dong Jia , Carnegie Mellon University
Chenyang Lu , Washington University in St. Louis
Xenofon Koutsoukos , Vanderbilt University
pp. 133-142
Saowanee Saewong , Carnegie Mellon University
Ragunathan (Raj) Rajkumar , Carnegie Mellon University
pp. 143-153
Formal Methods and Specifications
Dezhuang Zhang , State University of New York at Stony Brook
Rance Cleaveland , University of Maryland at College Park
pp. 157-166
Zonghua Gu , Hong Kong University of Science and Technology
Kang G. Shin , University of Michigan
pp. 167-176
Robustness
Xiaorui Wang , Washington University in St. Louis
Chenyang Lu , Washington University in St. Louis
Xenofon Koutsoukos , Vanderbilt University
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
Lui Sha , University of Illinois at Urbana-Champaign
pp. 210-220
Hardware/Software Boundary
Vivy Suhendra , National University of Singapore
Tulika Mitra , National University of Singapore
Abhik Roychoudhury , National University of Singapore
Ting Chen , National University of Singapore
pp. 223-232
Sibin Mohan , North Carolina State University
Frank Mueller , North Carolina State University
William Hawkins , University of Illinios at Urbana-Champaign
Michael Root , Furman University
Christopher Healy , Furman University
David Whalley , Florida State University
pp. 233-242
Sensor Networks I
Min-Young Nam , Ohio State University
Chang-Gun Lee , Ohio State University
Kanghee Kim , Seoul National University
Marco Caccamo , University of Illinois at Urbana-Champaign
pp. 245-255
Anand Eswaran , Carnegie Mellon University
Anthony Rowe , Carnegie Mellon University
Raj Rajkumar , 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
Nathan Fisher , University of North Carolina at Chapel Hill
pp. 321-329
UmaMaheswari C. Devi , University of North Carolina at Chapel Hill
James H. Anderson , 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
Linwei Niu , University of South Carolina
Gang Quan , University of South Carolina
pp. 356-365
Xiliang Zhong , Wayne State University
Cheng-Zhong Xu , Wayne State University
pp. 366-375
Tarek A. AlEnawy , George Mason University
Hakan Aydin , George Mason University
pp. 376-385
Scheduling
R. I. Davis , University of York
A. Burns , University of York
pp. 389-398
Enrico Bini , Scuola Superiore Sant?Anna
Marco Di Natale , Scuola Superiore Sant?Anna
pp. 399-409
Caixue Lin , University of California at Santa Cruz
Scott A. Brandt , University of California at Santa Cruz
pp. 410-421
Author Index
Author Index (PDF)
pp. 423-424
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool