عنوان

Communicating Process Architectures 2002 :

شابک

0585458588

شابک

1586032682

شابک

427490539X

شابک

6610505586

شابک

9780585458588

شابک

9781586032685

شابک

9784274905391

شابک

9786610505586

شابک اشتباه

1586032682

شابک اشتباه

427490539X

شماره

b709572

عنوان اصلي

Communicating Process Architectures 2002 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /

نام نخستين پديدآور

edited by James Pascoe [and others].

محل نشرو پخش و غیره

Tokyo :

نام ناشر، پخش کننده و غيره

Ohmsha,

تاریخ نشرو بخش و غیره

©2002.

نام خاص و کميت اثر

1 online resource (viii, 387 pages) :

ساير جزييات

illustrations.

عنوان فروست

Concurrent systems engineering series,

مشخصه جلد

v. 60

شاپا ي ISSN فروست

1383-7575 ;

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

Machine derived contents note: Preface -- James Pascoe, Peter Welch, Roger Loader and Vaidy Sunderam vii -- Programme Committee viii -- Papers -- Semantics ofprialt in Handel-CM -- Andrew Butterfield and Jim Woodcock I -- Acceptances, Behaviours and Infinite Activity in CSPP -- Adrian Lawrence 17 -- HCSP: Imperative State and True Concurrency -- Adrian Lawrence 39 -- Consolidating the Agreement Problem Protocol Verification Environment -- James Pascoe and Roger Loader 57 -- On the Complexity of Buffer Allocation in Message Passing Systems -- Alex Brodsky, Jan Bcekgaard Pedersen and Alan Wagner 79 -- Java PastSet -- A Structured Distributed Shared Memory System -- Kei Simon Pedersen and Brian Vinter 97 -- Synchronous Active Objects Introduce CSP's Primitives in Java -- Claude Petitpierre 109 -- Configurable Collective Communication in LAM-MPI -- John Markus Bjorndalen, Otto J. Anshus, Brian Vinter and Tore Larsen 123 -- Cache-Affinity Scheduling for Fine Grain Multithreading -- Kurt Debattista, Kevin Vella and Joseph Cordina 135 -- A Predicate Transformer Semantics for a Concurrent Language of Refinement -- Ana Cavalcanti and Jim Woodcock 147 -- Reconnetics: A System for the Dynamic Implementation -- of Mobile Hardware Processes in FPGAs -- Ralph Moseley 167 -- Performance Analysis and Behaviour Tuning for Optimisation -- of Communicating Systems -- Mark Green and Ali E. Abdallah 181 -- Configuration Discovery and Mapping of a Home Network -- Keith Pugh 191 -- Cluster Computing and JCSP Networking -- Brian Vinter and Peter Welch 203 -- View-Centric Reasoning for Linda and Tuple Space Computation -- Marc L. Smith, Rebecca J. Parsons and Charles E. Hughes 223 -- A Graphical Modeling Language for Specifying Concurrency based on CSP -- Gerald Hilderink 255 -- The "Honeysuckle" Programming Language: Event and Process -- Ian East 285 -- The "Honeysuckle" Programming Language: Object and Protocol -- lan East 301 -- A Communicating Threads (CT) Case Study: JIWY -- Dusko Jovanovic, Gerald Hilderink, Jan Broenink 311 -- Prioritised Dynamic Communicating Processes -- Part I -- Fred Barnes and Peter Welch 321 -- Prioritised Dynamic Communicating Processes -- Part II -- Fred Barnes and Peter Welch 353 -- Implementing a Distributed Algorithm for Detection -- of Local Knots and Cycles in Directed Graphs -- Geraldo Pereira de Souza and Gerson Henrique Pfitscher 371 -- Author Index 387.

بدون عنوان

0

متن يادداشت

The WoTUG series of conferences are a major forum for the presentation of state-of-the-art ideas on concurrency and communication. This book continues this trend, with these proceedings containing a number of papers that discuss a wide range of issues fundamental to the future of concurrency.

This book combines papers from researchers and practitioners from many disciplines. Topics covered include: theory, such as development to Hoare's Communicating Sequential Processes; hardware and real-time systems; software architecture and design; and applications.

عنوان

Communicating process architectures 2002.

شماره استاندارد بين المللي کتاب و موسيقي

427490539X

عنوان اصلي به زبان ديگر

WoTUG-25

موضوع مستند نشده

Computer multitasking, Congresses.

موضوع مستند نشده

occam (Computer program language), Congresses.

موضوع مستند نشده

Parallel processing (Electronic computers), Congresses.

موضوع مستند نشده

Fonctionnement multitâche, Congrès.

موضوع مستند نشده

Occam (Langage de programmation), Congrès.

موضوع مستند نشده

Parallélisme (Informatique), Congrès.

موضوع مستند نشده

Computer multitasking.

موضوع مستند نشده

COMPUTERS-- Programming Languages-- C♯

موضوع مستند نشده

COMPUTERS-- Programming Languages-- Java.

موضوع مستند نشده

COMPUTERS-- Programming Languages-- Pascal.

موضوع مستند نشده

occam (Computer program language)

موضوع مستند نشده

Parallel processing (Electronic computers)

موضوع مستند نشده

COM-- 051130

موضوع مستند نشده

COM-- 051280

موضوع مستند نشده

COM-- 051310

موضوع مستند نشده

QA

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Pascoe, James.

مستند نام تنالگان تاييد نشده

World Occam and Transputer User Group., Technical Meeting(25th :2002 :, University of Reading)

تاريخ عمليات

20201208002345.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y