Real-time systems : by Albert M K Cheng, Scheduling, analysis and verification/

By: Cheng, Albert M KMaterial type: TextTextPublication details: New Delhi : Pearson Education Private Limited, 2010cDescription: 524p. ill, graphs ; 24 cmISBN: 9788126527854 (pbk)Subject(s): Realtime Data processing | Computer ScienceDDC classification: 004.33
Contents:
Chapter 1: Introduction------------------------------------ Chapter 2: Analysis and Verification of Non-Real-Time Systems--------------------- Chapter 3: Real-Time Scheduling and Schedulability Analysis------------------------- Chapter 4: Model Checking for Finite state Systems----------------------------- Chapter 5: Visual Formalism, Statecharts and Statemate---------------------------- Chapter 6: Real-Time Logic, Graph Theoretic Analysis and Modechart--------------------------- Chapter 7: Verification Using Timed Automata------------------------- Chapter 8: Timed Petri Nets---------------------------------- Chapter 9: Process Algebra------------------------- Chapter 10: Design and Analysis of Propositional Logic Rule Based System-------------------------------------- Chapter 11: Timing Analysis of Predicate Logic Rule-Based Systems------------------------- Chapter 12: Optimization of Rule Based Systems------------------------------
Summary: Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and
List(s) this item appears in: CS titles
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		004.33 CHE-R 2010 3307 (Browse shelf (Opens below)) Available 0003307
Books Books Namal Library
Computer Science 		004.33 LIU-R 2012 433 (Browse shelf (Opens below)) Available 433
Books Books Namal Library
Computer Science 		004.33 LIU-R 2012 2862 (Browse shelf (Opens below)) 2 Available 0002862
Total holds: 0
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
004.24 PAT-A 2013 4404 Advance .NET technology / 004.256 DUF-M 2003 1737 MCSD analyzing requirements and defining .Net solution architectures study guide : 004.33 CHE-R 2010 3307 Real-time systems : 004.33 LIU-R 2012 2862 Real-time systems : 004.33 LIU-R 2012 433 Real-time systems : 004.33 LIU-R 2012 994 Real-time system / 004.33 MAL-R 2013 1117 Real-Time systems :

Include bibliography references and index

Chapter 1: Introduction------------------------------------
Chapter 2: Analysis and Verification of Non-Real-Time Systems---------------------
Chapter 3: Real-Time Scheduling and Schedulability Analysis-------------------------
Chapter 4: Model Checking for Finite state Systems-----------------------------
Chapter 5: Visual Formalism, Statecharts and Statemate----------------------------
Chapter 6: Real-Time Logic, Graph Theoretic Analysis and Modechart---------------------------
Chapter 7: Verification Using Timed Automata-------------------------
Chapter 8: Timed Petri Nets----------------------------------
Chapter 9: Process Algebra-------------------------
Chapter 10: Design and Analysis of Propositional Logic Rule Based System--------------------------------------
Chapter 11: Timing Analysis of Predicate Logic Rule-Based Systems-------------------------
Chapter 12: Optimization of Rule Based Systems------------------------------

Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and

There are no comments on this title.

to post a comment.