Skip to main content
SpringerLink
Log in
Book cover

Responsive Computing

A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

  • Book
  • © 1994

Overview

Authors:
  1. Miroslaw Malek

    1. University of Texas, Austin

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-iv
    Download chapter PDF

  2. Guest Editor’s Introduction

    • Miroslaw Malek
    Pages 1-2

  3. Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems

    • Alan A. Bertossi, Luigi V. Mancini
    Pages 3-19

  4. Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems

    • Farnam Jahanian, Ragunathan Rajkumar, Sitaram C. V. Raju
    Pages 21-47

  5. Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines

    • Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima
    Pages 49-63

  6. Compositional Reasoning about Responsive Systems with Limited Resources

    • Henk Schepers
    Pages 65-87

  7. Enhancing Fault-Tolerance in Rate-Monotonic Scheduling

    • Yingfeng Oh, Sang H. Son
    Pages 89-103
Back to top

Keywords

About this book

Responsive Computing brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area.
Responsive Computing serves as an excellent reference, providing insight into some of the most important issues in the field.

Authors and Affiliations

  • University of Texas, Austin

    Miroslaw Malek

Bibliographic Information

  • Book Title: Responsive Computing

  • Book Subtitle: A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

  • Authors: Miroslaw Malek

  • DOI: https://doi.org/10.1007/978-1-4615-2786-2

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1994

  • Hardcover ISBN: 978-0-7923-9511-9Published: 30 September 1994

  • Softcover ISBN: 978-1-4613-6204-3Published: 09 May 2013

  • eBook ISBN: 978-1-4615-2786-2Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: IV, 103

  • Topics: Special Purpose and Application-Based Systems, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation