The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 34th Real-Time Systems Symposium (1999)
Phoenix, Arizona
Dec. 1, 1999 to Dec. 3, 1999
ISBN: 0-7695-0475-2
TABLE OF CONTENTS
Reviewers (PDF)
pp. xii
Keynote Speeches
Session I: Timing Issues
Thomas Lundqvist , Chalmers University of Technology
Per Stenström , Chalmers University of Technology
pp. 12
Sung-Kwan Kim , Seoul National University
Sang Lyul Min , Seoul National University
Rhan Ha , Hong-Ik University
pp. 22
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
Alan Burns , University of York
pp. 68
Hakan Aydin , University of Pittsburgh
Rami Melhem , University of Pittsburgh
Daniel Mosse , University of Pittsburgh
Pedro Mejia-Alvarez , CINVESTAV-IPN
pp. 79
Saowanee Saewong , Carnegie Mellon University
Ragunathan (Raj) Rajkumar , Carnegie Mellon University
pp. 90
Session III: Specification and Verification
Pedro R. D'Argenio , University of Twente
Joost-Pieter Katoen , University of Twente
Ed Brinksma , University of Twente
pp. 104
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.
Aloysius K. Mok , University of Texas at Austin
pp. 136
Session IV: Task Coordinations (Poster)
Christophe Lizzi , CS Technologies Informatiques
pp. 152
K. Altisen , Verimag Center
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
Lui Sha , 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
Shibin Song , ZhongShan University
Joseph Kee-Yin Ng , Hong Kong Baptist University
Bihai Tang , GuangZhou Academy of Economics
pp. 190
James Anderson , University of North Carolina at Chapel Hill
Sanjoy Baruah , University of North Carolina at Chapel Hill
Kevin Jeffay , University of North Carolina at Chapel Hill
pp. 200
Session VI: New Applications (Poster)
Georg F. Mauer , University of Nevada at Las Vegas
Chanaka Fernando , University of Nevada at Las Vegas
pp. 212
Christiane Iaccarino , Lucent Technologies
David Perozzi , Lucent Technologies
Meridith A. Sigel , AT&T Solutions
Aristides Staikos , U.S. Army CECOM
Ralph E. Taylor Jr , Bell Atlantic
Patricia Morreale , Stevens Institute of Technology
pp. 214
Brett L. Chappell , Naval Surface Warfare Center
David T. Marlow , Naval Surface Warfare Center
Phillip M. Irey , Naval Surface Warfare Center
Karen O'Donogue , Naval Surface Warfare Center
pp. 218
Manoj Apte , Mississippi State University
Srigurunath Chakravarthi , Mississippi State University
Anand Pillai , Mississippi State University
Anthony Skjellum , 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
Yu-Chung Wang , University of California at Irvine
Kwei-Jay Lin , University of California at Irvine
pp. 246
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
Shyam Murthy , University of Kansas
Douglas Niehaus , University of Kansas
pp. 279
Session IX: Resource Management
Marco Caccamo , Scuola Superiore S. Anna
Giuseppe Lipari , Scuola Superiore S. Anna
Giorgio Buttazzo , Scuola Superiore S. Anna
pp. 284
Mark Moir , University of Pittsburgh
Srikanth Ramamurthy , Transarc Corporation
pp. 294
Kevin Jeffay , University of North Carolina at Chapel Hill
Steve Goddard , University of Nebraska at Lincoln
pp. 304
Chen Lee , Carnegie Mellon University
John Lehoczky , Carnegie Mellon University
Dan Siewiorek , Carnegie Mellon University
Ragunathan Rajkumar , Carnegie Mellon University
Jeff Hansen , Carnegie Mellon University
pp. 315
Session X: Distributed Systems
Lynn Y. Zhang , University of Illinois at Urbana-Champaign
Jane W.S. Liu , 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
30 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool