English Deutsch Français 简体中文 繁體中文
Book123, Download eBooks for Free - Anytime! Submit your article

Categories

Share With Friends



Like Book123?! Give us +1

Archive by Date

Search Tag

Newest

Useful Links


Real-Time Systems: Scheduling, Analysis, and Verification

Posted on 2010-03-15




Name:Real-Time Systems: Scheduling, Analysis, and Verification
ASIN/ISBN:0471184063
Author:Albert M. K. Cheng
Language:English
File size:3.5 Mb
   Real-Time Systems: Scheduling, Analysis, and Verification

Rating:

2.5 out of 5 by

 
Download Links
  ServerStatus
  Direct Download Link 1Alive
  Direct Download Link 2Alive
  Download Link 1Alive
  Download Link 2Alive


Buy This Book at Best Price >>

Like this article?! Give us +1:

Related Articles


Science/Engineering Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms

Science/Engineering Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms

Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms (The Springer International Series in Engineering and Computer Science)John A. Stankovic, Marco Spuri, Krithi Ramamritham, Giorgio C. ButtazzoPublisher: Springer | Pa ...

Science/Engineering Real-Time Systems - Scheduling, Analysis And Verification

Science/Engineering Real-Time Systems - Scheduling, Analysis And Verification

Albert M. K. Cheng , «Real-Time Systems - Scheduling, Analysis And Verification »Wiley-Interscience | ISBN: 0471184063 | 2002-08 | PDF | 552 pages | 4.1 Mb "The author provides a substantial, up to date overview of the verification and va ...

Science/Engineering Real-Time Systems: Formal Specification and Automatic Verification

Science/Engineering Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic VerificationCambridge University Press | ISBN: 0521883334 | 2008-10-06 | PDF | 344 pages | 6 Mb Real-time systems need to react to certain input stimuli within given time bounds. For exa ...

Science/Engineering Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms (repost)

Science/Engineering Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms (repost)

John A. Stankovic, Marco Spuri, Krithi Ramamritham, Giorgio C. Buttazzo, "Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms" Springer | 1998 | ISBN: 0792382692 | 296 pages | PDF | 21,5 MB Many real-time systems rely ...

Science/Engineering Modeling and Verification of Real-time Systems

Science/Engineering Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz, "Modeling and Verification of Real-time Systems" Wiley-ISTE | 2008 | ISBN: 1848210132 | 448 pages | PDF | 2,3 MB This title is devoted to presenting some of the most important concepts and techniques for descr ...

Hardware Scheduling in Real-Time Systems by  Francis Cottet

Hardware Scheduling in Real-Time Systems by Francis Cottet

Scheduling in Real-Time Systems by Francis Cottet, Joëlle Delacroix, Claude Kaiser, Zoubir MammeriPublisher: John Wiley & Sons (December 3, 2002) | ISBN-10: 0470847662 | PDF | 2,1 Mb | 282 pages* Real-time systems are used in a wide r ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)
Tags:
Scheduling   Verification   Analysis   Systems  
 

DISCLAIMER:

This site does not store Real-Time Systems: Scheduling, Analysis, and Verification on its server. We only index and link to Real-Time Systems: Scheduling, Analysis, and Verification provided by other sites. Please contact the content providers to delete Real-Time Systems: Scheduling, Analysis, and Verification if any and email us, we'll remove relevant links or contents immediately.

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?

Sign In | Not yet a member?