توضیحات
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
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه ای از مقالات ارائه شده در سی و سومین کنفرانس معماری فرآیندهای ارتباطی (CPA) است که در دانشگاه لیمریک، ایرلند، 19 تا 22 ژوئن 2011 برگزار شد. با FM 2011 (هفدهمین سمپوزیوم بین المللی روش های رسمی)، SEW-34 (سی و چهارمین کارگاه سالانه مهندسی نرم افزار IEEE) و چندین کارگاه تخصصی و آموزش. این اقدامات CPA حاوی نتایج حاصل از درزهای غنی از تحقیقات است که بسیاری از موضوعات کلیدی در علم کامپیوتر مدرن را پوشش می دهد، که به نظر می رسد همه این روزها به یک شکل یا آن شکل به همزمانی مربوط می شوند. در داخل، مقالاتی در مورد مدلهای همزمانی و نظریه آنها، عملشناسی همزمان (استفاده مؤثر از چند هستهای)، ایدهها و پیادهسازی زبان (برای فرآیندهای تلفن همراه، فرمهای انتخاب تعمیمیافته)، ابزارهایی برای کمک به تأیید و عملکرد، برنامههای کاربردی (شبیهسازی در مقیاس بزرگ) پیدا خواهید کرد. ، رباتیک، وب سرورها)، معیارها (برای محاسبات علمی و توزیع شده) و، شاید مهمتر از همه، آموزش. آنها منعکس کننده ارتباط روزافزون همزمانی برای بیان و مدیریت مشکلات پیچیده و همچنین برای بهره برداری از سخت افزار موازی در دسترس هستند. IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. . برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی – سرطان شناسی – هوش مصنوعی – پایگاه های داده و سیستم های اطلاعاتی – مهندسی دریایی – فناوری نانو – مهندسی زمین – همه جنبه های فیزیک – حکومت الکترونیک – تجارت الکترونیک – اقتصاد دانش – مطالعات شهری – کنترل تسلیحات – درک و پاسخ به تروریسم – انفورماتیک پزشکی – علوم کامپیوتر
tag : دانلود کتاب معماری فرآیند ارتباط 2011: WoTUG-33 , Download معماری فرآیند ارتباط 2011: WoTUG-33 , دانلود معماری فرآیند ارتباط 2011: WoTUG-33 , Download Communicating Process Architectures 2011: WoTUG-33 Book , معماری فرآیند ارتباط 2011: WoTUG-33 دانلود , buy معماری فرآیند ارتباط 2011: WoTUG-33 , خرید کتاب معماری فرآیند ارتباط 2011: WoTUG-33 , دانلود کتاب Communicating Process Architectures 2011: WoTUG-33 , کتاب Communicating Process Architectures 2011: WoTUG-33 , دانلود Communicating Process Architectures 2011: WoTUG-33 , خرید Communicating Process Architectures 2011: WoTUG-33 , خرید کتاب Communicating Process Architectures 2011: WoTUG-33 ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.