Communicating Process Architectures 2005 : WoTUG-28 : Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands / ed. by Jan F. Broenink [and others].
Material type: TextSeries: Concurrent systems engineering series ; v. 63.Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2005.Description: 1 online resource (x, 405 pages) : illustrationsContent type:- text
- computer
- online resource
- 1423797353
- 9781423797357
- 1586035614
- 9781586035617
- 9781601291240
- 1601291248
- 9781607501442
- 1607501449
- Parallel processing (Electronic computers) -- Congresses
- occam (Computer program language) -- Congresses
- Transputers -- Congresses
- Computer architecture -- Congresses
- Parallélisme (Informatique) -- Congrès
- Occam (Langage de programmation) -- Congrès
- Transputers -- Congrès
- Ordinateurs -- Architecture -- Congrès
- COMPUTERS -- Systems Architecture -- Distributed Systems & Computing
- Computer architecture
- occam (Computer program language)
- Parallel processing (Electronic computers)
- Transputers
- 004/.35 22
- QA76.58 .W58 2005eb
- 54.31
- 54.51
Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Electronic-Books | OPJGU Sonepat- Campus | E-Books EBSCO | Available |
Includes bibliographical references and index.
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams.
Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications.
Print version record.
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide
There are no comments on this title.