Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Normal view MARC view ISBD view

Communicating process architectures 2009 [electronic resource] : WoTUG-32 / edited by Peter H. Welch ... [et al.].

By: (32nd : WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, Netherlands).
Contributor(s): Welch, P. H | IOS Press.
Material type: TextTextSeries: Concurrent systems engineering series: v. 67.Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2009Description: 1 online resource (x, 407 p.) : ill.ISBN: 9781607505136; 1607505134.Other title: WoTUG-32.Subject(s): Parallel processing (Electronic computers) -- Congresses | occam (Computer program language) -- Congresses | Transputers -- Congresses | Computer architecture -- Congresses | COMPUTERS -- Reference | COMPUTERS -- Machine Theory | COMPUTERS -- Computer Literacy | COMPUTERS -- Information Technology | COMPUTERS -- Data Processing | COMPUTERS -- Computer Science | COMPUTERS -- Hardware -- GeneralGenre/Form: Electronic books. | Electronic books.Additional physical formats: Print version:: Communicating process architectures 2009.DDC classification: 004 Online resources: EBSCOhost
Contents:
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi.
Review: "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

"Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands."

Includes bibliographical references and indexes.

"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket.

880-01 Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.

Other editions of this work

Communicating process architectures 2009 ©2009
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter