عنوان

Communicating process architectures 2009 :

شابک

1607505134

شابک

9781607505136

شابک اشتباه

1607500655

شابک اشتباه

9781607500650

شماره

b783367

عنوان اصلي

Communicating process architectures 2009 :

نام عام مواد

[Book]

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

WoTUG-32 /

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

edited by Peter H. Welch [and others].

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

Washington, D.C. :

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

IOS Press,

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

©2009.

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

1 online resource (x, 407 pages) :

ساير جزييات

illustrations

عنوان فروست

Concurrent systems engineering series ;

مشخصه جلد

v. 67

متن يادداشت

Includes bibliographical references and indexes.

متن يادداشت

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.

بدون عنوان

0

متن يادداشت

"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."--Jacket.

منبع سفارش / آدرس اشتراک

IOS Press

شماره انبار

978-1-60750-513-6

عنوان

Communicating process architectures 2009.

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

1607500655

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

WoTUG-32

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

Computer architecture, Congresses.

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

occam (Computer program language), Congresses.

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

Parallel processing (Electronic computers), Congresses.

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

Transputers, Congresses.

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

Computer architecture.

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

COMPUTERS-- Computer Literacy.

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

COMPUTERS-- Computer Science.

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

COMPUTERS-- Data Processing.

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

COMPUTERS-- Hardware-- General.

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

COMPUTERS-- Information Technology.

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

COMPUTERS-- Machine Theory.

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

COMPUTERS-- Reference.

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

occam (Computer program language)

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

Parallel processing (Electronic computers)

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

Transputers.

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

COM-- COM014000

شماره

ويراست

شماره رده

نشانه اثر

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

Welch, P. H.

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

WoTUG Technical Meeting(32nd :2009 :, Technische Universiteit Eindhoven, Netherlands)

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

IOS Press.

تاريخ عمليات

20201206214354.0

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

pn

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

نوع ماده

[Book]

تكميل شده

Y