Communicating Process Architectures 2009 WoTUG-32
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...
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
London
Sage Publications Ltd
2009
|
| Vydání: | 1 |
| Témata: | |
| ISBN: | 1607500655, 9781607500650 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Roebbers, H. W Broenink, J. F Welch, P. H |
| Author_xml | – sequence: 1 fullname: Welch, P. H – sequence: 2 fullname: Roebbers, H. W – sequence: 3 fullname: Broenink, J. F |
| BookMark | eNotjMtOwzAQAI14iLbkH3JCXCLt-hkfS1QKUiU4IK6V46wh0NoQO_8PUpnLaC6zZBcxRTpjlTUtajAKFAp9zpanAK3UFVsoi6g4N-KaVTl_wh9CtdDigt116Xic4-hdGeN7_TIlTznX68l_jIV8mSfKNQewN-wyuEOm6t8r9vawee0em93z9qlb7xqn0EjROD1Qz3t0PBgtbQhaDOiDbklrI4OVHgZlvJZ8cDYIE7iQoUfAIHsDxMWK3Z7G31P6mSmXPfUpfXmKZXKH_ea-U4BStOIXL1xD5Q |
| ContentType | eBook |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781607505136 1607505134 |
| Edition | 1 |
| ExternalDocumentID | EBC501438 |
| GroupedDBID | -2F -VQ -VX 089 20A 92K A4J AABBV AATWT ABARN ABIAV ABQPQ ACLGV ADVEM AERYV AFOJC AHWGJ AIXPE AJFER AKHYG ALMA_UNASSIGNED_HOLDINGS AMYDA APMDJ AZZ BBABE CZZ DUGUG EBSCA ECOWB GEOUK HF4 JJU MYL PQQKQ XI1 |
| ID | FETCH-LOGICAL-a51743-a6deb2b1a2f7649ff63d1cf68e6674f94c0d57c642da9f37f234fb101f4b70e23 |
| ISBN | 1607500655 9781607500650 |
| IngestDate | Wed Nov 26 07:06:29 EST 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.58 .W58 2009 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a51743-a6deb2b1a2f7649ff63d1cf68e6674f94c0d57c642da9f37f234fb101f4b70e23 |
| OCLC | 591152273 |
| PQID | EBC501438 |
| PageCount | 420 |
| ParticipantIDs | proquest_ebookcentral_EBC501438 |
| PublicationCentury | 2000 |
| PublicationDate | 2009 |
| PublicationDateYYYYMMDD | 2009-01-01 |
| PublicationDate_xml | – year: 2009 text: 2009 |
| PublicationDecade | 2000 |
| PublicationPlace | London |
| PublicationPlace_xml | – name: London |
| PublicationYear | 2009 |
| Publisher | Sage Publications Ltd |
| Publisher_xml | – name: Sage Publications Ltd |
| SSID | ssj0000358081 |
| Score | 1.8358302 |
| Snippet | This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven,... |
| SourceID | proquest |
| SourceType | Publisher |
| SubjectTerms | Computer architecture-Congresses occam (Computer program language)-Congresses Parallel processing (Electronic computers)-Congresses Transputers-Congresses |
| Subtitle | WoTUG-32 |
| TableOfContents | 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 |
| Title | Communicating Process Architectures 2009 |
| URI | https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=501438 |
| Volume | 67 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3LS8MwGA9u8-DJN77tQUQYHW3avI46pgNlDplzt9FHAgPp5jZlf75f2rTd5kE8eAltKA39vjTJ9_r9ELqi2FdCCfiRSBTZvsDK5lgxm6R4Ra4Ksjru_hPrdPhgILqm_n6W0gmwJOGLhZj8q6qhD5StS2f_oO7ipdAB16B0aEHt0K6diItbAzRQ1nqA-W8qAOq3S5GCmQYQLCz_N_me8UB1G2WJwstYhqHhTWs36oUHBsx1mYDdmmq9YfKBc2-BWPMWLCcCZZl2ZfJQZlJqwDmSHtyW18iMMmMNmbp110zhAfn15MPWPF463m1ITSqowigYw7WH1vPrY-H1cnTUlbu6wi4fhxjgrWLcH7tiutX3dlBN6vqPXbQhkz20nbNeWGYR3Ec3K3K2jJytFTlbWigHqH_f6jXbtuGbsAON1-3ZAY1liEM3gNlKfaEU9WI3UpRLShnMaT9yYsIiMNniQCiPKez5KoRFTfkhcyT2DlE1GSfyCFmBE3kkBOtNetzXAAwujiXhsaIuFYI4x-gy_8hhGhY3ubjDQqgnvz5xirZKFZ-h6nz6Kc_RZvQ1H82mF0b039-uE5w |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Communicating+Process+Architectures+2009&rft.au=Welch%2C+P.+H&rft.au=Roebbers%2C+H.+W&rft.au=Broenink%2C+J.+F&rft.date=2009-01-01&rft.pub=Sage+Publications+Ltd&rft.isbn=9781607500650&rft.volume=67&rft.externalDocID=EBC501438 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781607500650/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781607500650/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781607500650/sc.gif&client=summon&freeimage=true |