The Community for Technology Leaders
RSS Icon
2013 IEEE 34th Real-Time Systems Symposium (1999)
Phoenix, Arizona
Dec. 1, 1999 to Dec. 3, 1999
ISBN: 0-7695-0475-2
Reviewers (PDF)
pp. xii
Keynote Speeches
Session I: Timing Issues
Thomas Lundqvist , Chalmers University of Technology
pp. 12
Ming Xiong , University of Massachusetts at Amherst
Krithi Ramamritham , University of Massachusetts at Amherst
pp. 32
Tarek F. Abdelzaher , University of Virginia
Kang G. Shin , University of Michigan
pp. 44
Session II: Scheduling Algorithms
Chenyang Lu , University of Virginia
John A. Stankovic , University of Virginia
Gang Tao , University of Virginia
Sang H. Son , University of Virginia
pp. 56
Guillem Bernat , University of York
pp. 68
Rami Melhem , University of Pittsburgh
Daniel Mosse , University of Pittsburgh
Pedro Mejia-Alvarez , CINVESTAV-IPN
pp. 79
Saowanee Saewong , Carnegie Mellon University
pp. 90
Session III: Specification and Verification
Carolos Livadas , Massachusetts Institute of Technology
John Lygeros , Massachusetts Institute of Technology
Nancy A. Lynch , Massachusetts Institute of Technology
pp. 115
Deji Chen , Fisher-Rosemount Systems, Inc.
pp. 136
Session IV: Task Coordinations (Poster)
Christophe Lizzi , CS Technologies Informatiques
pp. 152
G. Gößler , Verimag Center
A. Pnueli , Verimag Center
J. Sifakis , Verimag Center
S. Tripakis , Verimag Center
S. Yovine , Verimag Center
pp. 154
Ramesh Chandra , University of Illinois at Urbana-Champaign
pp. 164
Session V: Real-Time Communication
Hung--Ying Tyan , Ohio State University
Chao--Ju Hou , Ohio State University
Bin Wang , Ohio State University
pp. 168
Joseph Kee-Yin Ng , Hong Kong Baptist University
Shibin Song , ZhongShan University
pp. 190
Sanjoy Baruah , University of North Carolina at Chapel Hill
James Anderson , University of North Carolina at Chapel Hill
pp. 200
Session VI: New Applications (Poster)
Georg F. Mauer , University of Nevada at Las Vegas
pp. 212
David Perozzi , Lucent Technologies
Meridith A. Sigel , AT&T Solutions
Aristides Staikos , U.S. Army CECOM
Christiane Iaccarino , Lucent Technologies
Patricia Morreale , Stevens Institute of Technology
pp. 214
David T. Marlow , Naval Surface Warfare Center
Phillip M. Irey , Naval Surface Warfare Center
Karen O'Donogue , Naval Surface Warfare Center
pp. 218
Srigurunath Chakravarthi , Mississippi State University
Anand Pillai , Mississippi State University
Manoj Apte , Mississippi State University
Xin Yan Zan , Mississippi State University
pp. 220
Session VII: System Development
Karsten Schwan , Georgia Institute of Technology
pp. 224
Alexander G. Dean , Carnegie Mellon University
John Paul Shen , Carnegie Mellon University
pp. 234
Tei-Wei Kuo , National Chung Cheng University
Ching-Hui Li , National Chung Cheng University
pp. 256
Session VIII: Design and Implementations (Poster)
Sean B House , University of Kansas
Douglas Niehaus , University of Kansas
pp. 279
Session IX: Resource Management
Giuseppe Lipari , Scuola Superiore S. Anna
Marco Caccamo , Scuola Superiore S. Anna
pp. 284
Kevin Jeffay , University of North Carolina at Chapel Hill
pp. 304
John Lehoczky , Carnegie Mellon University
Dan Siewiorek , Carnegie Mellon University
Chen Lee , Carnegie Mellon University
Jeff Hansen , Carnegie Mellon University
pp. 315
Session X: Distributed Systems
Lynn Y. Zhang , University of Illinois at Urbana-Champaign
Zhong Deng , University of Illinois at Urbana-Champaign
Ian Philp , Los Alamos National Laboratory
pp. 350
Henrik Thane , M?lardalen University
Hans Hansson , M?lardalen University
pp. 360
Author Index (PDF)
pp. 371
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool