عنوان
پدید آورنده
موضوع
رده
QA76.58 .W58 2005eb
QA76
.
58
.
W58
2005eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1423797353
(Number (ISBN
1586035614
(Number (ISBN
1601291248
(Number (ISBN
1607501449
(Number (ISBN
9781423797357
(Number (ISBN
9781586035617
(Number (ISBN
9781601291240
(Number (ISBN
9781607501442
NATIONAL BIBLIOGRAPHY NUMBER
Number
b730394
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Communicating Process Architectures 2005 :
General Material Designation
[Book]
Other Title Information
WoTUG-28 : Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands /
First Statement of Responsibility
ed. by Jan F. Broenink [and others].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Washington, D.C. :
Name of Publisher, Distributor, etc.
IOS Press,
Date of Publication, Distribution, etc.
©2005.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 405 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Concurrent systems engineering series,
Volume Designation
v. 63
ISSN of Series
1383-7575 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
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.
0
SUMMARY OR ABSTRACT
Text of Note
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.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Ebook Library
Stock Number
EBL265963
OTHER EDITION IN ANOTHER MEDIUM
Title
Communicating process architectures 2005.
International Standard Book Number
1586035614
TOPICAL NAME USED AS SUBJECT
Computer architecture, Congresses.
occam (Computer program language), Congresses.
Parallel processing (Electronic computers), Congresses.
Transputers, Congresses.
Computer architecture.
COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.
occam (Computer program language)
Parallel processing (Electronic computers)
Transputers.
(SUBJECT CATEGORY (Provisional
COM-- 048000
DEWEY DECIMAL CLASSIFICATION
Number
004/
.
35
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
58
Book number
.
W58
2005eb
OTHER CLASS NUMBERS
Class number
54
.
31
Class number
54
.
51
System Code
bcl
System Code
bcl
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Broenink, Jan F.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
WoTUG Technical Meeting(28th :2005 :, Technische Universiteit Eindhoven)
ORIGINATING SOURCE
Date of Transaction
20201203131406.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
