Share

Building Parallel, Embedded, and Real-Time Applications with Ada

2011-04-07 Computers
Download Building Parallel, Embedded, and Real-Time Applications with Ada PDF Online Free

Author :
Release : 2011-04-07
Genre : Computers
Kind : eBook
Book Rating : 007/5 ( reviews)

GET EBOOK


Book Synopsis Building Parallel, Embedded, and Real-Time Applications with Ada by : John W. McCormick

Download or read book Building Parallel, Embedded, and Real-Time Applications with Ada written by John W. McCormick. This book was released on 2011-04-07. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Concurrent and Real-time Programming in Ada 2005

2005* Ada (Computer program language)
Download Concurrent and Real-time Programming in Ada 2005 PDF Online Free

Author :
Release : 2005*
Genre : Ada (Computer program language)
Kind : eBook
Book Rating : 881/5 ( reviews)

GET EBOOK


Book Synopsis Concurrent and Real-time Programming in Ada 2005 by : Andrew J. Wellings

Download or read book Concurrent and Real-time Programming in Ada 2005 written by Andrew J. Wellings. This book was released on 2005*. Available in PDF, EPUB and Kindle. Book excerpt: Ada is the only ISO-standard, concurrent, real-time programming language. It is intended for use in big, long-lived applications where reliability & efficiency are essential, particularly real-time & embedded systems. In this book, the authors give a thorough account of how the Ada tasking model can be used to build a wide range of systems.

Concurrent Programming

1993 Computers
Download Concurrent Programming PDF Online Free

Author :
Release : 1993
Genre : Computers
Kind : eBook
Book Rating : /5 ( reviews)

GET EBOOK


Book Synopsis Concurrent Programming by : Alan Burns

Download or read book Concurrent Programming written by Alan Burns. This book was released on 1993. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a hands-on introduction to concurrent programming principles and techniques. Pascal FC (Functionally Concurrent), a teaching version of the Pascal language available from the authors, is used to illustrate the main techniques used in the concurrency models. Once programmers have grasped the concepts, a smooth transition is made to more advanced theoretical material.

Ada for Software Engineers

2009-03-31 Computers
Download Ada for Software Engineers PDF Online Free

Author :
Release : 2009-03-31
Genre : Computers
Kind : eBook
Book Rating : 142/5 ( reviews)

GET EBOOK


Book Synopsis Ada for Software Engineers by : Mordechai Ben-Ari

Download or read book Ada for Software Engineers written by Mordechai Ben-Ari. This book was released on 2009-03-31. Available in PDF, EPUB and Kindle. Book excerpt: Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.

Building High Integrity Applications with SPARK

2015-08-31 Computers
Download Building High Integrity Applications with SPARK PDF Online Free

Author :
Release : 2015-08-31
Genre : Computers
Kind : eBook
Book Rating : 386/5 ( reviews)

GET EBOOK


Book Synopsis Building High Integrity Applications with SPARK by : John W. McCormick

Download or read book Building High Integrity Applications with SPARK written by John W. McCormick. This book was released on 2015-08-31. Available in PDF, EPUB and Kindle. Book excerpt: Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

You may also like...