Book Library

Read or Download Book Online

Download: [PDF] a review of ada tasking

A Review Of Ada Tasking

A Review of Ada Tasking PDF

Get Book

Author: Alan Burns
Publisher: Springer Science & Business Media
ISBN: 9783540180081
Size: 11.94 MB
Format: PDF, Mobi
Category : Computers
Languages : en
Pages : 141
View: 4446

Book Description: Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception handling; a package structure for information hiding, decomposition and separate compilation; facilities for low-level programming; and a tasking model of concurrency. It is perhaps this last area that has generated most debate, criticism and disagreement. The purpose of this book is to review the tasking model in the light of the extensive analysis and comment which has appeared in the literature. The review is necessarily wide-ranging, including discussion of - Ada as a general purpose concurrent programming language, - Ada as a language for embedded and distributed systems, - implementation issues, with particular reference to distributed systems, - formal semantics, specification and verification, - proposed language modifications. By consolidating this discussion within the confines of a single review, potential users of the tasking facility are enabled to familiarise themselves with all the factors which may impinge upon the performance, reliability and correctness of their software. The book also provides a focus for any debate on modifications to the Ada language, or developments from it.


A Review Of Ada Tasking

A Review of Ada Tasking PDF

Get Book

Author: Alan Burns
Publisher: Springer Verlag
ISBN:
Size: 16.77 MB
Format: PDF, ePub, Mobi
Category : Computers
Languages : en
Pages : 141
View: 2175

Book Description: Ada is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a 'large' language. It has Pascal-like control and type constructs; a mechanism for exception handling; a package structure for information hiding, decomposition and separate compilation; facilities for low-level programming; and a tasking model of concurrency. It is perhaps this last area that has generated most debate, criticism and disagreement. The purpose of this book is to review the tasking model in the light of the extensive analysis and comment which has appeared in the literature. The review is necessarily wide-ranging, including discussion of - Ada as a general purpose concurrent programming language, - Ada as a language for embedded and distributed systems, - implementation issues, with particular reference to distributed systems, - formal semantics, specification and verification, - proposed language modifications. By consolidating this discussion within the confines of a single review, potential users of the tasking facility are enabled to familiarise themselves with all the factors which may impinge upon the performance, reliability and correctness of their software. The book also provides a focus for any debate on modifications to the Ada language, or developments from it.


Ada The Design Choice

Ada  The Design Choice PDF

Get Book

Author: Ada-Europe (Organization). International Conference
Publisher: Cambridge University Press
ISBN: 9780521381307
Size: 26.89 MB
Format: PDF, ePub, Mobi
Category : Computers
Languages : en
Pages : 275
View: 1373

Book Description: This book contains the proceedings of the 1989 Ada-Europe conference. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. The theme of this year's conference is design methods; this is of major importance since both Ada compilers and the applications built with Ada are huge. Papers in this volume, which have all been carefully refereed, study the design methods within Ada, and how they may need to be augmented with additional methods and tools where necessary. They make informed and essential reading for all involved in the use of Ada in industry and research.


Proceedings Tencon 93

Proceedings TENCON  93 PDF

Get Book

Author: Baozong Yuan
Publisher:
ISBN: 9780780312326
Size: 77.47 MB
Format: PDF, ePub, Docs
Category : Automatic control
Languages : en
Pages :
View: 2508

Book Description:


Hardware And Software For Real Time Process Control

Hardware and Software for Real Time Process Control PDF

Get Book

Author: Janusz Zalewski
Publisher: North Holland
ISBN:
Size: 67.17 MB
Format: PDF, Kindle
Category : Technology & Engineering
Languages : en
Pages : 580
View: 6396

Book Description: As the title suggests, the focus of this volume is on the hardware and software aspects of real time process control, rather than on control problems. The (mostly invited) papers may be divided into three themes: hardware, software, and integration. Providing extensive coverage of the state-of-the-art in real time computer control, the papers examine both recent developments and future trends in the field. The contributors are from universities, industry and government institutions, and the volume will be of interest to hi-tech research institutes in e.g. the nuclear, aerospace, chemical and electronics fields, and to those concerned with standardization issues.


Resources In Parallel And Concurrent Systems

Resources in Parallel and Concurrent Systems PDF

Get Book

Author: Charles L. Seitz
Publisher: Assn for Computing Machinery
ISBN:
Size: 36.81 MB
Format: PDF
Category : Computers
Languages : en
Pages : 762
View: 6695

Book Description: Computer Systems Organization -- Parallel architecture.


Journal Of Pascal Ada Modula 2

Journal of Pascal  Ada   Modula 2 PDF

Get Book

Author:
Publisher:
ISBN:
Size: 35.73 MB
Format: PDF, Docs
Category : Ada (Computer program language)
Languages : en
Pages :
View: 1212

Book Description: