21. RTSS 2000: Orlando, FL, USA

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000. IEEE Computer Society 2000, ISBN 0-7695-0900-2

Real-Time System Design and Analysis I

Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar:
Constructing Real-time Group Communication Middleware Using the Resource Kernel. 3-12
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzaher, Gang Tao, Sang Hyuk Son, Michael Marley:
Performance Specifications and Metrics for Adaptive Real-Time Systems. 13-24
Manas Saksena, Yun Wang:
Scalable Real-Time System Design using Preemption Thresholds. 25-

Distributed Real-Time Processing

Jayant R. Haritsa, Krithi Ramamritham:
Adding PEP to Real-Time Distributed Commit Processing. 37-46
Sun-Tae Chung, Oscar González, Krithi Ramamritham, Chia Shen:
CReMeS: A CORBA Compliant Reflective Memory Communication Service. 47-56
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser:
Dynamic Scheduling of Distributed Method Invocations. 57-

Processor Scheduling

Srikanth Rarnarnurthy, Mark Moir:
Static-Priority Periodic Scheduling on Multiprocessors. 69-78
Gang Quan, Xiaobo Sharon Hu:
Enhanced Fixed-Priority Scheduling with (m, k)-Firm Guarantee. 79-88
Moonju Park, Yookun Cho:
An Efficient Feasibility Test Method for Hard Real-Time Periodic Tasks. 89-

Applications of Real-Time Systems Technology

Chin-Fu Kuo, Tei-Wei Kuo, Cheng Chang:
Real-Time Digital Signal Processing of Component-Oriented Phased Array Radars. 99-108
Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu:
Implementation and Performance Evaluation of a Real-Time E-Brokerage System. 109-118
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Formal Specification for Building Robust Real-time Microkernels. 119-

Real-Time System Design and Analysis II

Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo:
Real-Time control system analysis: an integrated approach. 131-140
Aleksandar M. Bakic, Matt W. Mutka:
An Integrated Approach to Real-Time System Design and On-Line Performance Visualization with Steering. 141-150
Bruno Dutertre:
Formal Analysis of the Priority Ceiling Protocol. 151-

Timing Analysis and Verification

Jakob Engblom, Andreas Ermedahl:
Modeling Complex Flows for Worst-Case Execution Time Analysis. 163-174
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka:
Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. 175-184
Inkyu Kim, Zary Segall:
A Formal Method for Providing Temporal Equivalence in Binary-to-Binary Translation of Real-Time Applications. 185-194
Jörn Schneider:
Cache and Pipeline Sensitive Fixed Priority Scheduling for Preemptive Real-Time Systems. 195-

Resource Allocation

Damir Isovic, Gerhard Fohler:
Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints. 207-216
Giuseppe Lipari, John Carpenter, Sanjoy K. Baruah:
A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments. 217-226
Trolan C. L. Ma, Kang G. Shin:
A User-Customizable Energy-Adaptive Combined Static/Dynamic Scheduler for Mobile Applications. 227-

Networking and Real-Time Communications

Richard West, Christian Poellabauer:
Analysis of a Window-Constrained Scheduler for Real-Time and Best-Effort Packet Streams. 239-248
Lawrence K. Miller, Albert M. K. Cheng:
Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels. 249-258
Marco Di Natale:
Scheduling The Can Bus With Earliest Deadline Techniques. 259-268
Sujaya Srinivasan, David B. Stewart:
High Speed Hardware-Assisted Real-Time Interprocess Communication for Embedded Microcontrollers. 269-

Scheduling in the Face of Overloads

Pedro Mejía-Alvarez, Rami G. Melhem, Daniel Mossé:
An Incremental Approach to Scheduling during Overloads in Real-Time Systems. 283-294
Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
Capacity Sharing for Overrun Control. 295-304
Wei Kuan Shih, Che-Rung Lee, Ching-Hui Tang:
A Fast Algorithm for Scheduling Imprecise Computations with Timing Constraints to Minimize Weighted Error. 305-310

Last update Fri May 25 08:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page