ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Communicating Process Architectures 2008; WoTUG-31 - Concurrent Systems Engineering Series

دانلود کتاب ارتباط معماری فرآیند 2008؛ WoTUG-31 - سری مهندسی سیستمهای همزمان

Communicating Process Architectures 2008; WoTUG-31 - Concurrent Systems Engineering Series

مشخصات کتاب

Communicating Process Architectures 2008; WoTUG-31 - Concurrent Systems Engineering Series

دسته بندی: فن آوری
ویرایش:  
نویسندگان: , , , , , , ,   
سری:  
ISBN (شابک) : 1586039075, 9781586039073 
ناشر: IOS Press 
سال نشر: 2008 
تعداد صفحات: 472 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 36,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Communicating Process Architectures 2008; WoTUG-31 - Concurrent Systems Engineering Series به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب ارتباط معماری فرآیند 2008؛ WoTUG-31 - سری مهندسی سیستمهای همزمان

Communicating Process Architectures 2008 شامل مجموعه مقالات سی و یکمین کنفرانس معماری فرآیند ارتباط (CPA 2008) است که تحت نظارت WoTUG و دپارتمان علوم کامپیوتر دانشگاه یورک برگزار شده است. هدف این کتاب پوشش دادن جنبه های نظری و کاربردهای صنعتی فرآیندهای ارتباطی است. دو سخنران دعوت شده کمک بسیار خوبی به این موضوع کرده اند. پروفسور سامسون آبرامسکی در زمینه معناشناسی و منطق محاسبات و همزمانی کار کرده است. کار او بر روی معناشناسی بازی، تعامل و جریان اطلاعات بین چندین عامل و محیط آنها را در نظر می گیرد. این امر رویکردهای جدیدی را برای بررسی مدل ترکیبی و تجزیه و تحلیل برای برنامه‌هایی با حالت، همزمانی، احتمال و سایر ویژگی‌ها ارائه کرده است. پروفسور کالین اوهالوران در پذیرش روش‌های رسمی در توسعه و تأیید سیستم‌های با اطمینان بالا در مقیاس صنعتی مؤثر بوده است. علایق تحقیقاتی او در خودکارسازی استفاده از روش‌های رسمی و استفاده از این تکنیک‌ها با هزینه مناسب و در مقیاس صنعتی است.

IOS Press یک ناشر بین‌المللی علمی، فنی و پزشکی کتاب‌های با کیفیت بالا برای دانشگاهیان، دانشمندان و حرفه ای در همه زمینه ها برخی از حوزه هایی که در آنها منتشر می کنیم: -زیست پزشکی -انکولوژی -هوش مصنوعی -پایگاه های اطلاعاتی و سیستم های اطلاعاتی -مهندسی دریانوردی - فناوری نانو -مهندسی زمین -همه جنبه های فیزیک -حکومت الکترونیکی -تجارت الکترونیک -اقتصاد دانش -مطالعات شهری -کنترل تسلیحات -درک و پاسخ به تروریسم -انفورماتیک پزشکی -دانش کامپیوتری


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

Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and information flow between multiple agents and their environment. This has yielded new approaches to compositional model-checking and to analysis for programs with state, concurrency, probability and other features. Professor Colin O'Halloran has been instrumental in the uptake of formal methods in the development and verification of high assurance systems on an industrial scale. His research interests are in automating the use of formal methods, and using these techniques at reasonable cost and on an industrial scale.

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 1
Preface......Page 5
Editorial Board......Page 6
Reviewing Committee......Page 7
Contents......Page 9
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures......Page 13
How to Soar with CSP......Page 27
A CSP Model for Mobile Channels......Page 29
Communicating Scala Objects......Page 47
Combining EDF Scheduling with occam Using the Toc Programming Language......Page 67
Communicating Haskell Processes: Composable Explicit Concurrency Using Monads......Page 79
Two-Way Protocols for occam-pi......Page 97
Prioritized Service Architecture: Refinement and Visual Design......Page 111
Experiments in Translating CSP||B to Handel-C......Page 127
FPGA Based Control of a Production Cell System......Page 147
Shared-Clock Methodology for Time-Triggered Multi-Cores......Page 161
Transfer Request Broker: Resolving Input-Output Choice......Page 175
Mechanical Verification of a Two-Way Sliding Window Protocol......Page 191
RRABP: Point-to-Point Communication over Unreliable Components......Page 215
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks......Page 231
Asynchronous Active Objects in Java......Page 249
JCSPre: the Robot Edition to Control LEGO NXT Robots......Page 267
A Critique of JCSP Networking......Page 283
Virtual Machine Based Debugging for occam-pi......Page 305
Process-Oriented Collective Operations......Page 321
Representation and Implementation of CSP and VCR Traces......Page 341
CSPBuilder - CSP Based Scientific Workflow Modelling......Page 359
Visual Process-Oriented Programming for Robotics......Page 377
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques......Page 393
Mobile Agents and Processes Using Communicating Process Architectures......Page 409
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation......Page 423
Modelling a Multi-Core Media Processor Using JCSP......Page 443
How to Make a Process Invisible......Page 457
Designing Animation Facilities for gCSP......Page 459
Tock: One Year On......Page 461
Introducing JCSP Networking 2.0......Page 463
Mobile Processes in an Ant Simulation......Page 465
Santa Claus - with Mobile Reindeer and Elves......Page 467
Subject Index......Page 469
Author Index......Page 471




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی