Concurrency in Ada

Concurrency in Ada
Author: Alan Burns
Publisher: Cambridge University Press
Total Pages: 414
Release: 1998-02-19
Genre: Computers
ISBN: 9780521629119

A major feature of the Ada programming language is the facilities it provides for concurrent programming. Alan Burns and Andy Wellings provide here a thorough and self-contained account of concurrent programming in Ada, and so show users, even beginners, how to harness the full power of the whole language. After giving an overview of the non-concurrent features of Ada, the authors proceed to examine in detail the uses of concurrent programming and the inherent difficulties in providing inter-process communication. The Ada tasking model is then introduced; the way it deals with these and related matters is explained in a number of separate chapters, covering system programming, real-time issues, distribution, object-oriented programming and re-use. This is the first book which deals with concurrent features in the new Ada standard, and it offers practical advice to the programmer needing to use it for embedded systems, while those interested more broadly in the development of programming languages will find many otherwise inaccessible issues probed in depth. It will thus be of value to professional software engineers and advanced students of programming alike; indeed, every Ada programmer will find it essential reading and a primary reference work. For the paperback edition the authors have made revisions throughout the text, updating and correcting where appropriate.

Concurrent Programming

Concurrent Programming
Author: Alan Burns
Publisher: Addison Wesley Publishing Company
Total Pages: 408
Release: 1993
Genre: Computers
ISBN:

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.

The Concurrent C Programming Language

The Concurrent C Programming Language
Author: Narain Gehani
Publisher: Silicon Press
Total Pages: 324
Release: 1989
Genre: Computers
ISBN: 9780929306001

Concurrent C is a superset of C that provides parallel programming facilities such as those for the declaring and creating processes, for process synchronization and interaction, and for process termination and abortion. Concurrent C was designed for the effective utilization of multiprocessors and multicomputers. Concurrent C, as a compile-time option, also works with C++, an object-oriented superset of C.

Principles of Concurrent and Distributed Programming

Principles of Concurrent and Distributed Programming
Author: M. Ben-Ari
Publisher: Pearson Education
Total Pages: 392
Release: 2006
Genre: Computers
ISBN:

Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently concurrent or distributed - from event-based GUI designs to operating and real-time systems to Internet applications. This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking.

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

Building Parallel, Embedded, and Real-Time Applications with Ada
Author: John W. McCormick
Publisher: Cambridge University Press
Total Pages: 387
Release: 2011-04-07
Genre: Computers
ISBN: 1139500007

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.

Real-time Systems and Their Programming Languages

Real-time Systems and Their Programming Languages
Author: Alan Burns
Publisher: Addison Wesley Publishing Company
Total Pages: 600
Release: 1990
Genre: Computers
ISBN:

A survey of real-time systems and the programming languages used in their development. Shows how modern real-time programming techniques are used in a wide variety of applications, including robotics, factory automation, and control. A critical requirement for such systems is that the software must

Concurrent Programming in ML

Concurrent Programming in ML
Author: John H. Reppy
Publisher: Cambridge University Press
Total Pages: 328
Release: 1999-08-13
Genre: Computers
ISBN: 0521480892

A 'how-to' book for programmers and researchers interested in practical applications of Concurrent ML.

Concurrent Programming

Concurrent Programming
Author: Gregory R. Andrews
Publisher: Addison Wesley
Total Pages: 664
Release: 1991
Genre: Computers
ISBN:

Mathematics of Computing -- Parallelism.

Delphi in a Nutshell

Delphi in a Nutshell
Author: Ray Lischner
Publisher: "O'Reilly Media, Inc."
Total Pages: 579
Release: 2000-03-16
Genre: Computers
ISBN: 1449369529

With a new name and a new focus on CORBA, database drivers, and Microsoft Back Office applications, Inprise/Borland Delphi is enjoying a resurgence, with a growing user base of programmers who use Delphi for rapid development of enterprise computing applications. Not to rest on success, the latest version of Delphi, Version 5, includes further expansion and refinement of the 3-tier application framework introduced in Delphi 4 and has resulted in a prize-winning product.Delphi in a Nutshell is the first concise reference to Borland/Inprise Delphi available. It succinctly collects all the information you need in one easy-to-use, complete, and accurate volume that goes beyond the product documentation itself.Delphi in a Nutshell starts with the Delphi object model and how to use RTTI (Run Time Type Information) for efficient programming. The rest of the book is the most complete Delphi Pascal language reference available in print, detailing every language element with complete syntax, examples, and methods for use. The book concludes with a look at the compiler, discussing compiler directives in depth.

A Discipline of Multiprogramming

A Discipline of Multiprogramming
Author: Jayadev Misra
Publisher: Springer Science & Business Media
Total Pages: 448
Release: 2001-06-26
Genre: Computers
ISBN: 9780387952062

In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.