دانلود کتاب Communicating Process Architectures 2011: WoTUG-33
کتاب معماری فرآیند ارتباط 2011: WoTUG-33 نسخه زبان اصلی
دانلود کتاب معماری فرآیند ارتباط 2011: WoTUG-33 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Communicating Process Architectures 2011: WoTUG-33
نام کتاب : Communicating Process Architectures 2011: WoTUG-33
عنوان ترجمه شده به فارسی : معماری فرآیند ارتباط 2011: WoTUG-33
سری : Concurrent Systems Engineering volume Volume 68
نویسندگان : P.H. Welch, A.T. Sampson, J.B. Pedersen, J. Kerridge, J.F. Broenink, F.R.M. Barnes
ناشر : IOS Press
سال نشر : 2011
تعداد صفحات : 394
ISBN (شابک) : 1607507730 , 9781607507734
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه ای از مقالات ارائه شده در سی و سومین کنفرانس معماری فرآیندهای ارتباطی (CPA) است که در دانشگاه لیمریک، ایرلند، 19 تا 22 ژوئن 2011 برگزار شد. با FM 2011 (هفدهمین سمپوزیوم بین المللی روش های رسمی)، SEW-34 (سی و چهارمین کارگاه سالانه مهندسی نرم افزار IEEE) و چندین کارگاه تخصصی و آموزش. این اقدامات CPA حاوی نتایج حاصل از درزهای غنی از تحقیقات است که بسیاری از موضوعات کلیدی در علم کامپیوتر مدرن را پوشش می دهد، که به نظر می رسد همه این روزها به یک شکل یا آن شکل به همزمانی مربوط می شوند. در داخل، مقالاتی در مورد مدل‌های همزمانی و نظریه آنها، عمل‌شناسی همزمان (استفاده مؤثر از چند هسته‌ای)، ایده‌ها و پیاده‌سازی زبان (برای فرآیندهای تلفن همراه، فرم‌های انتخاب تعمیم‌یافته)، ابزارهایی برای کمک به تأیید و عملکرد، برنامه‌های کاربردی (شبیه‌سازی در مقیاس بزرگ) پیدا خواهید کرد. ، رباتیک، وب سرورها)، معیارها (برای محاسبات علمی و توزیع شده) و، شاید مهمتر از همه، آموزش. آنها منعکس کننده ارتباط روزافزون همزمانی برای بیان و مدیریت مشکلات پیچیده و همچنین برای بهره برداری از سخت افزار موازی در دسترس هستند. IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. . برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر
فهرست مطالب :
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
توضیحاتی در مورد کتاب به زبان اصلی :
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
پست ها تصادفی