دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Communicating Process Architectures 2009 - WoTUG-32, Volume 67 Concurrent Systems Engineering Series
دانلود کتاب ارتباطات معماری فرآیند 2009 - WoTUG-32 ، جلد 67 مجموعه مهندسی سیستم های هم زمان
مشخصات کتاب
Communicating Process Architectures 2009 - WoTUG-32, Volume 67 Concurrent Systems Engineering Series
ویرایش: نویسندگان: H.W. Roebbers, J.F. Broenink, F.R.M. Barnes, C.G. Ritson, A.T. Sampson, G.S. Stiles and B. Vinter P.H. Welch سری: ISBN (شابک) : 1607500655, 9781607500650 ناشر: سال نشر: 2009 تعداد صفحات: 421 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 55,000
در صورت تبدیل فایل کتاب Communicating Process Architectures 2009 - WoTUG-32, Volume 67 Concurrent Systems Engineering Series به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ارتباطات معماری فرآیند 2009 - WoTUG-32 ، جلد 67 مجموعه مهندسی سیستم های هم زمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ارتباطات معماری فرآیند 2009 - WoTUG-32 ، جلد 67 مجموعه مهندسی سیستم های هم زمان
این کتاب مجموعه ای از مقالات ارائه شده در سی و دومین کنفرانس معماری فرآیندهای ارتباطی (CPA) است که در دانشگاه فنی آیندهوون، هلند، از 1 تا 4 نوامبر 2009 برگزار شد. در تمام ساختارها و در تمام سطوح دانه بندی. برای مفید بودن در این جهان، هر سیستم کامپیوتری باید سطح مناسبی از انتزاع را مدلسازی و منعکس کند. بنابراین، برای سادگی، سیستم باید همزمان باشد - تا این مدلسازی واضح و صحیح باشد. امروزه، واقعیت تجاری پردازنده‌های چند هسته‌ای به این معناست که اگر برنامه‌ها بتوانند بیش از کسری از قدرت خود را در حال کاهش، بهره‌برداری کنند، دیگر نمی‌توان مشکلات همزمانی را برطرف کرد. این دلیل دوم، اما بسیار قوی برای جدی گرفتن این موضوع است. ما به تئوری و فناوری برنامه نویسی نیاز داریم که این را تغییر دهد و همزمانی را به بخشی اساسی از ابزار روزمره هر مهندس نرم افزار تبدیل کند. این همان چیزی است که این روندها در مورد آن هستند. موضوعات تحت پوشش در این جلد عبارتند از: طراحی و پیاده سازی سیستم برای سخت افزار و نرم افزار. ابزارهایی برای زبان های برنامه نویسی همزمان، کتابخانه ها و هسته های زمان اجرا. و روش‌ها و کاربردهای رسمی. IOS Press یک ناشر بین‌المللی علمی، فنی و پزشکی کتاب‌های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه‌ها است. برخی از حوزه هایی که در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر
توضیحاتی درمورد کتاب به خارجی
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.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
فهرست مطالب
Title page......Page 2
Preface......Page 6
Editorial Board......Page 7
Reviewing Committee......Page 8
Contents......Page 10
Beyond Mobility: What Next After CSP/pi?......Page 12
The SCOOP Concurrency Model in Java-Like Languages......Page 18
Combining Partial Order Reduction with Bounded Model Checking......Page 40
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication......Page 60
Analysing gCSP Models Using Runtime and Model Analysis Algorithms......Page 78
Relating and Visualising CSP, VCR and Structural Traces......Page 100
Designing a Mathematically Verified I2C Device Driver Using ASD......Page 116
Mobile Escape Analysis for occam-pi......Page 128
New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler)......Page 146
Translating ETC to LLVM Assembly......Page 156
Resumable Java Bytecode. Process Mobility for the JVM......Page 170
OpenComRTOS: A Runtime Environment for Interacting Entities......Page 184
Economics of Cloud Computing: A Statistical Genetics Case Study......Page 196
An Application of CoSMoS Design Methods to Pedestrian Simulation......Page 208
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures......Page 216
Auto-Mobiles: Optimised Message-Passing......Page 236
A Denotational Study of Mobility......Page 250
PyCSP Revisited......Page 274
Three Unique Implementations of Processes for PyCSP......Page 288
CSP as a Domain-Specific Language Embedded in Python and Jython......Page 304
Hydra: A Python Framework for Parallel Computing......Page 322
Extending CSP with Tests for Availability......Page 336
Design Patterns for Communicating Systems with Deadline Propagation......Page 360
JCSP Agents-Based Service Discovery for Pervasive Computing......Page 374
Toward Process Architectures for Behavioural Robotics......Page 386
HW/SW Design Space Exploration on the Production Cell Setup......Page 398
Engineering Emergence: An occam-ƒÎ Adventure......Page 414
Subject Index......Page 416
Author Index......Page 418
