عنوان
پدید آورنده
موضوع
رده
QA76.58 .W58 2006eb
QA76
.
58
.
W58
2006eb
کتابخانه
محل استقرار
1429419075
1586036718
1607502054
9781429419079
9781586036713
9781607502050
b777579
Communicating process architectures 2006 :
[Book]
WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /
edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes.
Amsterdam :
IOS Press,
©2006.
1 online resource (viii, 391 pages) :
illustrations.
Concurrent systems engineering series,
v. 64
1383-7575 ;
Includes bibliographical references and index.
Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components.
0
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more.
IOS Press
978-1-58603-671-3
Communicating process architectures 2006.
1586036718
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.
COM-- COM014000
004/
.
35
22
QA76
.
58
.
W58
2006eb
Barnes, Frederick R. M.
Kerridge, Jon.
Welch, Peter H.
WoTUG Technical Meeting(29th :2006 :, Edinburgh, Scotland)
20201203105522.0
pn
مطالعه متن کتاب [Book]
Y
