The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (2000)
Orlando, Florida
Nov. 27, 2000 to Nov. 30, 2000
ISSN: 1052-8725
ISBN: 0-7695-0900-2
TABLE OF CONTENTS

Program Committee (PDF)

pp. xiii
Session 1: Real-Time System Design and Analysis I

Constructing Real-time Group Communication Middleware Using the Resource Kernel (Abstract)

Ragunathan Rajkumar , Carnegie Mellon University, Pittsburgh, PA
Dionisio de Niz , Carnegie Mellon University, Pittsburgh, PA
Farnam Jahanian , University of Michigan, Ann Arbor
Akihiko Miyoshi , Carnegie Mellon University, Pittsburgh, PA
Scott Johnson , University of Michigan, Ann Arbor
pp. 3

Performance Specifications and Metrics for Adaptive Real-Time Systems (Abstract)

Michael Marley , University of Virginia, Charlottesville
Sang H. Son , University of Virginia, Charlottesville
John A. Stankovic , University of Virginia, Charlottesville
Gang Tao , University of Virginia, Charlottesville
Tarek F. Abdelzaher , University of Virginia, Charlottesville
Chenyang Lu , University of Virginia, Charlottesville
pp. 13

Scalable Real-Time System Design using Preemption Thresholds (Abstract)

Yun Wang , Concordia University, Montreal
Manas Saksena , TimeSys Corporation
pp. 25
Session 2: Distributed Real-Time Processing

Adding PEP to Real-Time Distributed Commit Processing (Abstract)

Krithi Ramamritham , Indian Institute of Science, Mumbai
Jayant R. Haritsa , Indian Institute of Science, Bangalore
pp. 37

CReMeS: A CORBA Compliant Reflective Memory Communication Service (Abstract)

Krithi Ramamritham , Univ. of Massachusetts - Amherst
Chia Shen , Mitsubishi Electric Research Labs (Cambridge Research Lab), Massachusetts
Oscar Gonz?lez , Univ. of Massachusetts - Amherst
Sun-Tae Chung , Soongsil University - Seoul
pp. 47

Dynamic Scheduling of Distributed Method Invocations (Abstract)

V. Kalogeraki , University of California, Santa Barbara
P. M. Melliar-Smith , University of California, Santa Barbara
L. E. Moser , University of California, Santa Barbara
pp. 57
Session 3: Processor Scheduling

Static-Priority Periodic Scheduling on Multiprocessors (Abstract)

Mark Moir , Sun Microsystems Laboratories
Srikanth Rarnarnurthy , IBM-Transarc Labs
pp. 69

Enhanced Fixed-Priority Scheduling with (m,k)-Firm Guarantee (Abstract)

Xiaobo (Sharon) Hu , University of Notre Dame
Gang Quan , University of Notre Dame
pp. 79

An Efficient Feasibility Test Method for Hard Real-Time Periodic Tasks (Abstract)

Yookun Cho , Seoul National University, Korea
Moonju Park , Seoul National University, Korea
pp. 89
Session 4: Applications of Real-Time Systems Technology

Real-Time Digital Signal Processing of Component-Oriented Phased Array Radars (Abstract)

Chin-Fu Kuo , National Taiwan University, Taipei
Tei-Wei Kuo , National Taiwan University, Taipei
Cheng Chang , Chung Shan Institute of Science and Technology, Lung-Tan, Taiwan
pp. 99

Implementation and Performance Evaluation of a Real-Time E-Brokerage System (Abstract)

Honguk Woo , The University of Texas at Austin
Chan-Gun Lee , The University of Texas at Austin
Prabhudev Konana , The University of Texas at Austin
Aloysius K. Mok , The University of Texas at Austin
Guangtian Liu , SBC Technology Resources, Inc.
pp. 109

Formal Specification for Building Robust Real-time Microkernels (Abstract)

Manuel Rodr?guez , LAAS-CNRS, France
Jean-Charles Fabre , LAAS-CNRS, France
Jean Arlat , LAAS-CNRS, France
pp. 119
Session 5: Real-Time System Design and Analysis II

Real-Time control system analysis: an integrated approach (Abstract)

Luca Abeni , Scuola Superiore S. Anna, Pisa, Italy
Fabio Conticelli , Scuola Superiore S. Anna, Pisa, Italy
Marco Di Natale , Scuola Superiore S. Anna, Pisa, Italy
Luigi Palopoli , Scuola Superiore S. Anna, Pisa, Italy
Giorgio Buttazzo , University of Pavia (Italy)
pp. 131

An Integrated Approach to Real-Time System Design and On-Line Performance Visualization with Steering (Abstract)

Aleksandar M. Bakic , Motorola, Inc., Schaumburg, IL
Matt W. Mutka , Michigan State University, East Lansing
pp. 141
Session 6: Timing Analysis and Verification

Modeling Complex Flows for Worst-Case Execution Time Analysis (Abstract)

Andreas Ermedahl , Uppsala University, Sweden
Jakob Engblom , IAR Systems AB, Uppsala, Sweden
pp. 163

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems (Abstract)

C. R. Ramakrishnan , SUNY at Stony Brook, NY
Xiaoqun Du , SUNY at Stony Brook, NY
Scott A. Smolka , SUNY at Stony Brook, NY
pp. 175
Session 7: Resource Allocation

Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints (Abstract)

Gerhard Fohler , M?lardalen University, Sweden
Damir Isovic , M?lardalen University, Sweden
pp. 207

A User-Customizable Energy-Adaptive Combined Static/Dynamic Scheduler for Mobile Applications (Abstract)

Kang G. Shin , The University of Michigan, Ann Arbor
Trolan C. L. Ma , The University of Michigan, Ann Arbor
pp. 227
Session 8: Networking and Real-Time Communications

Analysis of a Window-Constrained Scheduler for Real-Time and Best-Effort Packet Streams (Abstract)

Christian Poellabauer , Georgia Institute of Technology, Atlanta
Richard West , Georgia Institute of Technology, Atlanta
pp. 239

Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels (Abstract)

Lawrence K. Miller , University of Toledo, OH & University of Houston, TX
Albert M. K. Cheng , University of Houston, TX & Rice University, TX
pp. 249

High Speed Hardware-Assisted Real-Time Interprocess Communication for Embedded Microcontrollers (Abstract)

David B. Stewart , Embedded Research Solutions, LLC., Columbia, MD
Sujaya Srinivasan , Intel Corporation, Folsom, CA
pp. 269
Session 9: Scheduling in the Face of Overloads

An Incremental Approach to Scheduling during Overloads in Real-Time Systems (Abstract)

Daniel Moss? , University of Pittsburgh, PA
Rami Melhem , University of Pittsburgh, PA
Pedro Mej?a-Alvarez , CINVESTAV-IPN. Secci?n de Computaci?
pp. 283

Capacity Sharing for Overrun Control (Abstract)

Giorgio Buttazzo , University of Pavia (Italy)
Lui Sha , University of Illinois, Urbana
Marco Caccamo , Scuola Superiore S. Anna, Pisa (Italy)
pp. 295

A Fast Algorithm for Scheduling Imprecise Computations with Timing Constraints to Minimize Weighted Error (Abstract)

Wei-Kuan Shih , National Tsing-Hua University
Che-Rung Lee , National Tsing-Hua University
Ching-Hui Tang , National Tsing-Hua University
pp. 305

Author Index (PDF)

pp. 311
202 ms
(Ver 3.1 (10032016))