Book Description
Software -- Programming Languages.
Author : John Wexler
Publisher :
Page : 232 pages
File Size : 21,26 MB
Release : 1989
Category : occam (Computer program language)
ISBN :
Software -- Programming Languages.
Author : Alan Burns
Publisher : Addison Wesley Publishing Company
Page : 216 pages
File Size : 28,72 MB
Release : 1988
Category : Computers
ISBN :
Software -- Programming Languages.
Author : Dick Pountain
Publisher : Wiley-Blackwell
Page : 124 pages
File Size : 19,12 MB
Release : 1987
Category : Occam2 (Computer program language)
ISBN :
Software -- Programming Languages.
Author : S. Noguchi
Publisher : IOS Press
Page : 248 pages
File Size : 34,26 MB
Release : 1997
Category : Computers
ISBN : 9789051993103
The 21st century will be the age of network computing. Among the many key technologies in this field, parallel computing and networking technology will play very important roles. In this book emphasis is placed on networking and modeling parallel computing. The topics cover parallel computing algorithms, parallel software, massively parallel computing systems and related applications. Articles cover parallel computing, networking and related applications, to initiate discussions. Since the appearance of Transputer chip T9000, C104, and standardizations of IEEE1355, Transputer systems seem to have opened a new interesting area of parallel computing, networking and many practical applications.
Author : J.T. Feo
Publisher : Elsevier
Page : 397 pages
File Size : 38,1 MB
Release : 2016-01-22
Category : Computers
ISBN : 148329420X
As execution speeds reach the physical limits of single cpu computers, the only hope of achieving greater computing power is with parallel systems. Researchers have proposed countless new programming languages, but their differences, similarities, strengths, weaknesses and problem domains are subtle and often not well understood. Informed comparison of parallel languages is difficult.This volume compares eight parallel programming languages based on solutions to four problems. Each chapter includes a description of the language's philosophy, semantics and syntax, and a solution to each problem. By considering solutions rather than language features or theoretical properties, the gap is bridged between the language specialists and users. Both professionals and students in the fields of computer and computational science will find the discussions helpful and understandable.
Author : North American Transputer Users Group. Conference
Publisher : IOS Press
Page : 356 pages
File Size : 40,66 MB
Release : 1992
Category : Computers
ISBN : 9789051990782
Parallel processing is now becoming a household word among computer researchers and designers. This work contains 29 contributions from leading experts in the field attending the 1992 NATUG conference.
Author : Per Brinch Hansen
Publisher : Springer Science & Business Media
Page : 532 pages
File Size : 25,10 MB
Release : 2013-06-29
Category : Computers
ISBN : 1475734727
An essential reader containing 19 important papers on the invention and early development of concurrent programming and its relevance to computer science and computer engineering. All of them are written by the pioneers in concurrent programming, including Brinch Hansen himself, and have introductions added that summarize the papers and put them in perspective. The editor provides an overview chapter and neatly places all developments in perspective with chapter introductions and expository apparatus. Essential resource for graduates, professionals, and researchers in CS with an interest in concurrent programming principles. A familiarity with operating system principles is assumed.
Author : P. H. Welch
Publisher : IOS Press
Page : 472 pages
File Size : 21,45 MB
Release : 2008
Category : Computers
ISBN : 1586039075
Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and information flow between multiple agents and their environment. This has yielded new approaches to compositional model-checking and to analysis for programs with state, concurrency, probability, and other features. Professor Colin O'Halloran has been instrumental in the uptake of formal methods in the development and verification of high assurance systems on an industrial scale. His research interests are in automating the use of formal methods and using these techniques at reasonable cost and on an industrial scale.
Author : Peter E. Lauer
Publisher : Springer Science & Business Media
Page : 424 pages
File Size : 20,69 MB
Release : 1993-06-16
Category : Computers
ISBN : 9783540568834
This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.
Author : D. Fabian Garcia Nocetti
Publisher : Springer Science & Business Media
Page : 157 pages
File Size : 36,38 MB
Release : 2012-12-06
Category : Technology & Engineering
ISBN : 1447119452
Parallel Processing in Digital Control is a volume to be published in the new Advances in Industrial Control series, edited by Professor M.J. Grimble and Dr. M.A. Johnson of the Industrial Control Unit, University of Strathclyde. The growing complexity of digital control systems in such areas as robotics, flight control and engine control has created a demand for faster and more reliable systems. This book examines how parallel processing can satisfy these requirements. Following a survey of parallel computer architectures, MIMD (Multiple Instruction Multiple Data) machines are identified as suitable systems for digital control problems, which are characterised by a mixture of regular and irregular algorithmic tasks. An example of a typical MIMD architecture, suitable for real-time control, (the Inmos Transputer) is introduced together with its associated parallel programming language (Occam). The key problem in implementing parallel software is associated with mapping parallel tasks onto physical processors. In this book a variety of schemes are described and assessed to help illustrate potential areas of difficulty for the real-time control software engineer. Solutions are proposed and tested on a flight control case study example. Recognising the widespread acceptance of MATLAB and its derivatives for computer aided control system design, this book demonstrates how mapping strategies can be realised in this environment and integrated with a transputer development system for on-line performance evaluation. A case study example demonstrates the power of this approach and important issues are highlighted. Readers will experience the advantages of parallel processing in digital control while being made aware of the key factors to be considered in the development of an effective solution. Practising control engineers and graduate/post-graduate students will find the book of particular interest and benefit.