Index
 
Operating Systems
Linux
Unix
Solaris
Windows
Mac OS X
Embedded & RT
Theory Books
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Embedded and RTOS



Book Title : Real-time Systems Specification, Verification and Analysis
eBook download format(s) : ZIP PDF 
ISBN-10 : 0134552970 
ISBN-13 : 978-0-134552-97-2 
Author(s) : Mathai Joseph
Publisher : Prentice Hall (18 Dec 1995)
Section : Embedded and RTOS
Book Review:

From the Back Cover
This exciting new book provides a detailed account of real-time systems: program structures for real- time, timing analysis using scheduling theory and specifiation and verification in different frameworks. The presentation makes extensive use of recent research which has demonstrated the effectiveness and applicability of mathematically based methods for real-time system design. Each chapter focuses on a particular technique and, taken together, the book as a whole provides broad as well as detailed coverage of the present state-of- the-art. Small examples help reinforce the theory presented in the book.




add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and try these 2 + 1 alternates...
  
     Buy 


Tell a Friend!

Similar Book titles in Embedded and RTOS section:
Building Embedded Linux Systems
Programming Embedded Systems in C and C++
Embedded Systems Dictionary


Similar Book titles in Other sections:

Section: Bio-Chemistry
Protein sequence analysis - A practical guide, University of Manchester
Data Analysis and Visualization in Genomics and Proteomics
Systems Biology in Practice
Systems Biology: Properties of Reconstructed Networks


Section: Data Structures and Algorithms
Algorithm Design - Foundations, Analysis & Internet Examples
Design and Analysis of Computer Algorithms
Algorithms for Communications Systems and their Applications
Average Case Analysis of Algorithms on Sequences


Section: CS -> Hardware
Designing Computers and Digital Systems


Section: Parallel Computing
Handbook of Applied Expert Systems


Section: CS -> Theory
Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition)
Quantitative System Performance - Computer System Analysis Using Queueing Network Models
Capability-Based Computer Systems
Discovering Information Systems An Exploratory Approach
Intelligent Vision Systems for Industry
Show all..


Section: DB -> Datawarehousing
Database Systems: Concepts, Languages and Architectures


Section: DB -> Oracle
Database Systems: The Complete Book
Oracle8 Distributed Database Systems Release 8.0


Section: DB -> Others
Object-Oriented Database Management Systems Revisited
Concurrency Control And Recovery in Database Systems


Section: Device Drivers
An I/O Device Driver Model and Framework for Embedded Systems


Section: Logic Design and Architecture
A primer on noise in VLSI systems
DESIGN AND ANALYSIS OF FAST LOW POWER SRAMs
Design of VLSI Systems
Verification Methodology Manual, 3rd Edition
Automated Manufacturing Systems with PLCs
Show all..


Section: Microprocessor
Embedded Internet for Embedded Systems Professionals


Section: Peripherals
PCI Audio Design Guide for Embedded Systems


Section: Advanced Java
Java Thin Client Systems with VisualAge Generator
Java Virtual Machine Specification, Second Edition
Java Virtual Machine Specification, First Edition


Section: Mathematics
Templates for the Solution of Linear Systems: Building Blocks for the Iterative Methods
Mathematical Analysis I
Mathematics for Algorithm and Systems Analysis
Fundamental Numerical Methods and Data Analysis
Complex Analysis
Show all..


Section: Miscellaneous
Methods of Cryptanalysis
Image Processing and Data Analysis: The Multiscale Approach
Statistical Analysis of Management Data
Circuit Analysis: Theory & Practice
Universal Command Guide for Operating Systems
Show all..


Section: Sales, Marketing & Trading
Intermarket Technical Analysis: Trading Strategies for the Global Stock, Bond, Commodity, and Currency Markets


Section: Microsoft Windows Servers
Microsoft Systems Management Server 2.0 Training Kit


Section: Networking
Introduction to Computer, Internet & Network Systems Security
Simulation of Communication Systems
Open Distributed Systems
Security Engineering: A Guide to Building Dependable Distributed Systems
ASN.1 Communication between Heterogeneous Systems
Show all..


Section: Other Engineering
Structural Engineering, Analysis and Design


Section: GNU/Linux OS
Security in Open Systems
Integration and Automation of Manufacturing Systems


Section: OS Theory
Operating Systems: Internals and Design Principles, Fourth Edition
Operating Systems
Research and Experimental Operating Systems
Analysis of the Ext2fs structure
A Short Introduction to Operating Systems
Show all..


Section: Assembly Language
Windows Assembly Language & Systems Programming: 16- And 32-Bit Low-Level Programming for the PC and Windows


Section: Other Programming
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Building Expert Systems in Prolog
Prolog and Natural Language Analysis
Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems
Type Systems for Programming Languages
Show all..


Section: Perl Scripting
Learning Perl on Win32 Systems


Section: Redbooks Draft
IBM System i5, eServer i5, and iSeries Systems Builder, i5/OS Version 5 Release 4
A Systems Management Guide to Performance Management for i5 and p5 systems
Building a Network Access Control Solution with IBM Tivoli and Cisco Systems
OnDemand SQL Performance Analysis Simplified on DB2 for i5/OS in V5R4
IBM System Storage Tape Library Guide for Open Systems
Show all..


Section: Redbooks
IBM eServer pSeries Systems Handbook 2003 Edition
Systems Programmer's Guide to: z/OS System Logger
Using Discontiguous Shared Segments and XIP2 Filesystems With Oracle Database 10g on Linux for IBM System z
Blue Gene/L: Performance Analysis Tools
IBM System Storage Tape Library Guide for Open Systems
Show all..


Section: IBM Technotes
Content Manager Server Log Utilities for Performance-Related Troubleshooting and Analysis
Migrating from Hierarchical File Systems to zSeries File Systems


Section: Redpapers
Installing and Using MPICH, MPICH-GM, and MPICH-MX on Linux Systems
Deploying Linux Systems with Tivoli Provisioning Manager for OS Deployment
Auditing UNIX/Linux System Use with Tivoli Access Manager for Operating Systems and Tivoli Compliance Insight Manager
IBM Systems Virtualization: Servers, Storage, and Software
IBM Systems for SAP Business Intelligence: 25 Terabyte Scalability Study
Show all..


Section: Redpapers Draft
Joining IBM System Storage N series Systems to Microsoft Active Directory
IBM Power Systems 520 Technical Overview and Introduction
Virtualization on the IBM Systems Family of Servers, Software and Storage
IBM Systems Virtualization: Servers, Storage and Software
Deploying Linux Systems with Tivoli Provisioning Manager for OS Deployment
Show all..


Section: Software Engineering
Using Z: Specification, Refinement, and Proof
Reusable Software Components: Object-Oriented Embedded Systems Programming in C
Agile Software Development Methods - Review and Analysis


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions