FirstCity
Welcome to First City University College Library iPortal | library@firstcity.edu.my | +603-7735 2088 (Ext. 519)
Amazon cover image
Image from Amazon.com

Realtime systems / Nimal Nissanke.

By: Material type: TextTextSeries: Prentice Hall international series in computer sciencePublication details: London ; New York : Prentice Hall, 1997.Description: 441 pISBN:
  • 0136512747
Subject(s): DDC classification:
  • 004.33 NIS 1997
Summary: Realtime Systems provides a comprehensive introduction to the essentials of systems, with a revealing examination of the state-of-art. It promotes an integrated approach with emphasis on both rigour and development of practical skills. It focuses on key issues, ranging from mathematical approaches for capturing requirements to important techniques for resource management scheduling, fault tolerance and clock synchronization. The book presents an overview of formal frameworks for realtime systems based on Petri nets and communicating sequential processes. Throughout the text fundamental concepts, design paradigms, algorithms, and techniques are illustrated with extensive examples drawn from a host of practical applications.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Shelving location Call number Status Date due Barcode Item holds
Open Collection Open Collection FIRST CITY UNIVERSITY COLLEGE FIRST CITY UNIVERSITY COLLEGE Open Collection FCUC Library 004.33 NIS 1997 (Browse shelf(Opens below)) Available 00008355
Open Collection Open Collection FIRST CITY UNIVERSITY COLLEGE FIRST CITY UNIVERSITY COLLEGE Open Collection FCUC Library 004.33 NIS 1997 (Browse shelf(Opens below)) Available 00008354
Open Collection Open Collection FIRST CITY UNIVERSITY COLLEGE FIRST CITY UNIVERSITY COLLEGE Open Collection FCUC Library 004.33 NIS 1997 (Browse shelf(Opens below)) Available 00005286
Total holds: 0

Includes bibliographical references and index.

Realtime Systems provides a comprehensive introduction to the essentials of systems, with a revealing examination of the state-of-art. It promotes an integrated approach with emphasis on both rigour and development of practical skills. It focuses on key issues, ranging from mathematical approaches for capturing requirements to important techniques for resource management scheduling, fault tolerance and clock synchronization. The book presents an overview of formal frameworks for realtime systems based on Petri nets and communicating sequential processes. Throughout the text fundamental concepts, design paradigms, algorithms, and techniques are illustrated with extensive examples drawn from a host of practical applications.