default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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-34
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-66
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-96
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-128
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-160
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-204
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-236
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-279
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-09 19:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
