Communicating Process Architectures 2009 : WoTUG-32.

By: Welch, P.HContributor(s): Roebbers, H.W | Broenink, J.F | Barnes, F. R. M | Ritson, C.G | Sampson, A. T | Stiles, G.S | Vinter, BSeries: Concurrent Systems Engineering Series, v. 67Publisher: Amsterdam : IOS Press, 2009Copyright date: ©2009Description: 1 online resource (420 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9781607505136Subject(s): Computer architecture -- Congresses.;occam (Computer program language) -- Congresses.;Parallel processing (Electronic computers) -- Congresses.;Transputers -- CongressesGenre/Form: Electronic books. Additional physical formats: Print version:: Communicating Process Architectures 2009 : WoTUG-32DDC classification: 004 LOC classification: QA76.58 -- .W58 2009ebOnline resources: Click to View
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 -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) -- Translating ETC to LLVM Assembly -- Resumable Java Bytecode. Process Mobility for the JVM -- OpenComRTOS: A Runtime Environment for Interacting Entities -- Economics of Cloud Computing: A Statistical Genetics Case Study -- An Application of CoSMoS Design Methods to Pedestrian Simulation -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures -- Auto-Mobiles: Optimised Message-Passing -- A Denotational Study of Mobility -- PyCSP Revisited -- Three Unique Implementations of Processes for PyCSP -- CSP as a Domain-Specific Language Embedded in Python and Jython -- Hydra: A Python Framework for Parallel Computing -- Extending CSP with Tests for Availability -- Design Patterns for Communicating Systems with Deadline Propagation -- JCSP Agents-Based Service Discovery for Pervasive Computing -- Toward Process Architectures for Behavioural Robotics -- HW/SW Design Space Exploration on the Production Cell Setup -- Engineering Emergence: An occam-ƒÎ Adventure -- Subject Index -- Author Index.
Summary: 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.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Ebrary Ebrary Afghanistan
Available EBKAF00037857
Ebrary Ebrary Algeria
Available
Ebrary Ebrary Cyprus
Available
Ebrary Ebrary Egypt
Available
Ebrary Ebrary Libya
Available
Ebrary Ebrary Morocco
Available
Ebrary Ebrary Nepal
Available EBKNP00037857
Ebrary Ebrary Sudan

Access a wide range of magazines and books using Pressreader and Ebook central.

Enjoy your reading, British Council Sudan.

Available
Ebrary Ebrary Tunisia
Available
Total holds: 0

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 -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) -- Translating ETC to LLVM Assembly -- Resumable Java Bytecode. Process Mobility for the JVM -- OpenComRTOS: A Runtime Environment for Interacting Entities -- Economics of Cloud Computing: A Statistical Genetics Case Study -- An Application of CoSMoS Design Methods to Pedestrian Simulation -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures -- Auto-Mobiles: Optimised Message-Passing -- A Denotational Study of Mobility -- PyCSP Revisited -- Three Unique Implementations of Processes for PyCSP -- CSP as a Domain-Specific Language Embedded in Python and Jython -- Hydra: A Python Framework for Parallel Computing -- Extending CSP with Tests for Availability -- Design Patterns for Communicating Systems with Deadline Propagation -- JCSP Agents-Based Service Discovery for Pervasive Computing -- Toward Process Architectures for Behavioural Robotics -- HW/SW Design Space Exploration on the Production Cell Setup -- Engineering Emergence: An occam-ƒÎ Adventure -- Subject Index -- Author Index.

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.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.