دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Communicating Process Architectures 2006: Volume 64 Concurrent Systems Engineering Series (Concurrent Systems Engineering)
دانلود کتاب ارتباطات معماری فرآیند 2006: جلد 64 سری مهندسی سیستمهای همزمان (مهندسی سیستمهای همزمان)
مشخصات کتاب
Communicating Process Architectures 2006: Volume 64 Concurrent Systems Engineering Series (Concurrent Systems Engineering)
ویرایش: نویسندگان: P. H. Welch, J. Kerridge, F. R. M. Barnes سری: ISBN (شابک) : 1586036718, 9781429419079 ناشر: IOS Press سال نشر: 2006 تعداد صفحات: 401 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Communicating Process Architectures 2006: Volume 64 Concurrent Systems Engineering Series (Concurrent Systems Engineering) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ارتباطات معماری فرآیند 2006: جلد 64 سری مهندسی سیستمهای همزمان (مهندسی سیستمهای همزمان) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ارتباطات معماری فرآیند 2006: جلد 64 سری مهندسی سیستمهای همزمان (مهندسی سیستمهای همزمان)
این نشریه حاوی مقالاتی از کنفرانس معماری فرآیندهای ارتباطی 2006 است که در دانشگاه ناپیر در ادینبورگ برگزار شد. شاید مناسب باشد که جلسه ای در مورد روش های ساده طراحی، پیاده سازی و استدلال در مورد سیستم های همزمان در موسسه ای به نام مخترع یک ماشین اضافه کننده ساده و بسیار همزمان برگزار شود. خانه ای که جان ناپیر در آن زندگی می کرد بخشی از محوطه دانشگاهی است که جلسه در آن برگزار شد. مقالات بسیار متنوع و گسترده هستند و موضوعات شامل جنبه های مختلف نظریه فرآیند ارتباط و کاربرد آنها در طراحی و ساخت سیستم ها می باشد. یکی از داغ‌ترین موضوعات کنونی، مدل‌های برنامه‌نویسی ایمن و مؤثر برای پردازنده‌های چند هسته‌ای (مانند IBM s Cell) در این جامعه خانه طبیعی دارد و به آن پرداخته می‌شود. مقالات دیگر شامل مطالعه موردی در توسعه رسمی و تأیید در مقیاس بزرگ، مکانیسم‌های CSP برای چارچوب دات‌نت مایکروسافت، سیستمهای موازی در دستگاه‌های جاسازی شده و موبایل، فناوری پیوند مدرن (SpaceWire)، برنامه‌های کاربردی مختلف occam-، JCSP و JCSP.net است. پردازش ویدئو، رباتیک، بازی‌های چندنفره عظیم، مدل‌سازی مواد و بیولوژیکی و غیره)، زبان‌ها و ابزارهای طراحی بصری برای سیستمهای CSP و بلادرنگ، محیط‌های برنامه‌نویسی و طراحی فرآیند گرا، پیشرفت‌های جدید Transterpreter، محاسبات خوشه‌ای کارآمد و اشکال زدایی سیستم های ارسال پیام. IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر
توضیحاتی درمورد کتاب به خارجی
This publication contains papers from the conference Communicating Process Architectures 2006, held at Napier University in Edinburgh. It is perhaps appropriate that a meeting concerning simple ways of designing, implementing and reasoning about concurrent systems should be held in an institution named after the inventor of a simple, and highly concurrent, adding machine. The house in which John Napier lived forms part of the campus where the meeting was held. The papers are very varied and wide ranging and subjects include various aspects of communicating process theory and their application to designing and building systems. One of the hottest current topics safe and effective programming models for multicore processors (e.g. IBM s Cell) has a natural home in this community and is addressed. Other papers include a case study on large scale formal development and verification, CSP mechanisms for Microsoft s .NET framework, parallel systems on embedded and mobile devices, modern link technology ( SpaceWire ), various applications of occam- , JCSP and JCSP.net (video processing, robotics, massive multiplayer gaming, material and biological modeling, etc.), visual design languages and tools for CSP and real-time systems, new process oriented programming and design environments, new developments of the Transterpreter, efficient cluster computing and the debugging of message-passing systems.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
Programme Committee......Page 7
Contents......Page 8
SpaceWire - DS-Links Reborn......Page 10
An Introduction to CSP.NET......Page 22
Performance Evaluation of JCSP Micro Edition: JCSPme......Page 40
Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View......Page 50
CSP for .NET Based on JCSP......Page 68
pony - The occam-pi Network Environment......Page 86
A Study of Percolation Phenomena in Process Networks......Page 118
Portable CSP Based Design for Embedded Multi-Core Systems......Page 132
A JCSP.net Implementation of a Massively Multiplayer Online Game......Page 144
SystemCSP - Visual Notation......Page 160
Interacting Components......Page 188
TCP Input Threading in High Performance Distributed Systems......Page 212
A Cell Transterpreter......Page 224
Mobile Robot Control: The Subsumption Architecture and occam-pi......Page 234
Rain: A New Concurrent Process-Oriented Programming Language......Page 246
Rain VM: Portable Concurrency Through Managing Code......Page 262
Native Code Generation Using the Transterpreter......Page 278
Compositions of Concurrent Processes......Page 290
Software Specification Refinement and Verification Method with I-Mathic Studio......Page 306
Video Processing in occam-pi......Page 320
No Blocking on Yesterday's Embedded CSP Implementation......Page 340
A Circus Development and Verification of an Internet Packet Filter......Page 348
Classification of Programming Errors in Parallel Message Passing System......Page 372
Compiling CSP......Page 386
A Fast Resolution of Choice Between Multiway Synchronisations (Invited Talk)......Page 398
Author Index......Page 400
