مشخصات کتاب

Communicating Process Architectures 2011: WoTUG-33

ویرایش:  
نویسندگان: P.H. Welch,  A.T. Sampson,  J.B. Pedersen,  J. Kerridge,  J.F. Broenink,  F.R.M. Barnes  
سری: Concurrent Systems Engineering volume Volume 68 
ISBN (شابک) : 1607507730, 9781607507734 
ناشر: IOS Press 
سال نشر: 2011 
تعداد صفحات: 394 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت تبدیل فایل کتاب Communicating Process Architectures 2011: WoTUG-33 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ارتباطات معماری فرآیند 2011: WoTUG-33 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ارتباطات معماری فرآیند 2011: WoTUG-33

این کتاب مجموعه ای از مقالات ارائه شده در سی و سومین کنفرانس معماری فرآیندهای ارتباطی (CPA) است که در دانشگاه لیمریک، ایرلند، 19 تا 22 ژوئن 2011 برگزار شد. با FM 2011 (هفدهمین سمپوزیوم بین المللی روش های رسمی)، SEW-34 (سی و چهارمین کارگاه سالانه مهندسی نرم افزار IEEE) و چندین کارگاه تخصصی و آموزش. این اقدامات CPA حاوی نتایج حاصل از درزهای غنی از تحقیقات است که بسیاری از موضوعات کلیدی در علم کامپیوتر مدرن را پوشش می دهد، که به نظر می رسد همه این روزها به یک شکل یا آن شکل به همزمانی مربوط می شوند. در داخل، مقالاتی در مورد مدل‌های همزمانی و نظریه آنها، عمل‌شناسی همزمان (استفاده مؤثر از چند هسته‌ای)، ایده‌ها و پیاده‌سازی زبان (برای فرآیندهای تلفن همراه، فرم‌های انتخاب تعمیم‌یافته)، ابزارهایی برای کمک به تأیید و عملکرد، برنامه‌های کاربردی (شبیه‌سازی در مقیاس بزرگ) پیدا خواهید کرد. ، رباتیک، وب سرورها)، معیارها (برای محاسبات علمی و توزیع شده) و، شاید مهمتر از همه، آموزش. آنها منعکس کننده ارتباط روزافزون همزمانی برای بیان و مدیریت مشکلات پیچیده و همچنین برای بهره برداری از سخت افزار موازی در دسترس هستند. IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. . برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر

توضیحاتی درمورد کتاب به خارجی

This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. Inside, you will find papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware.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

فهرست مطالب

Preface......Page 6
Editorial Board......Page 7
Reviewing Committee......Page 8
Contents......Page 10
Implementing Generalised Alt - A Case Study in Validated Design Using CSP......Page 12
Verification of a Dynamic Channel Model Using the SPIN Model Checker......Page 46
Programming the CELL-BE Using CSP......Page 66
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces......Page 82
Prioritised Choice over Multiway Synchronisation......Page 98
An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming......Page 122
Experiments in Multicore and Distributed Parallel Processing Using JCSP......Page 142
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems......Page 154
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework......Page 168
Concurrent Event-Driven Programming in occam-pi for the Arduino......Page 188
Fast Distributed Process Creation with the XMOS XS1 Architecture......Page 206
Serving Web Content with Dynamic Process Networks in Go......Page 220
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks......Page 238
Object Store Based Simulation Interworking......Page 254
A Model for Concurrency Using Single-Writer Single-Assignment Variables......Page 266
The Computation Time Process Model......Page 284
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces......Page 298
Process-Oriented Subsumption Architectures in Swarm Robotic Systems......Page 314
A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C......Page 328
The Flying Gator: Towards Aerial Robotics in occam-pi......Page 340
CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation......Page 352
Development of an ML-Based Verification Tool for Timed CSP Processes......Page 374
Mobile Processes and Call Channels with Variant Interfaces (a Duality)......Page 388
Adding Formal Verification to occam-pi......Page 390
Subject Index......Page 392
Author Index......Page 394

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Wearing the Trousers

دانلود کتاب 33 dischi senza i quali non si può vivere. Il racconto di un'epoca

دانلود کتاب Old Testament Narratives

دانلود کتاب Comentários à Lei de Licitações e Contratos Administrativos: Lei 8.666/1993

دانلود کتاب Thermomechanics and Infra-Red Imaging, Volume 7: Proceedings of the 2011 Annual Conference on Experimental and Applied Mechanics