Building Parallel Embedded And Real Time Applications With Ada
Download Building Parallel Embedded And Real Time Applications With Ada PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Building Parallel Embedded And Real Time Applications With Ada book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Building Parallel, Embedded, and Real-Time Applications with Ada
Author: John W. McCormick
language: en
Publisher: Cambridge University Press
Release Date: 2011-04-07
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results.
Building Parallel, Embedded, and Real-time Applications with Ada
"The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results"--
Building High Integrity Applications with SPARK
Author: John W. McCormick
language: en
Publisher: Cambridge University Press
Release Date: 2015-08-31
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.