مشخصات کتاب

Communicating Process Architectures 2005 (Concurrent Systems Engineering Series)

ویرایش:  
نویسندگان: Jan F. Broenink,  H. W. Roebbers,  J. P. E. Sunter,  P. H. Welch,  D. C. Wood  
سری:  
ISBN (شابک) : 1586035614, 9781423797357 
ناشر: IOS Press 
سال نشر: 2005 
تعداد صفحات: 417 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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

توجه داشته باشید کتاب Communicating Process Architectures 2005 (سری مهندسی سیستم های همزمان) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Communicating Process Architectures 2005 (سری مهندسی سیستم های همزمان)

آگاهی از ایده هایی که با معماری فرآیندهای ارتباطی مشخص می شود و پذیرش آنها توسط صنعت فراتر از پایه سنتی آنها در سیستم ها و امنیت حیاتی ایمنی در حال رشد است. پیچیدگی سیستم‌های محاسباتی مدرن آنقدر زیاد شده است که هیچ‌کس - شاید حتی یک تیم کوچک - نمی‌تواند همه جنبه‌ها و همه تعاملات را درک کند. تنها امید به کارآمدن چنین سیستم هایی این است که اطمینان حاصل شود که همه اجزا بر اساس طراحی صحیح هستند و می توان اجزا را برای دستیابی به مقیاس پذیری ترکیب کرد. یک ویژگی مهم این است که هزینه ایجاد تغییر در یک سیستم به طور خطی به اندازه آن تغییر بستگی دارد - نه به اندازه سیستم در حال تغییر. البته، چه این تغییر به دلیل تعمیر و نگهداری باشد (مثلاً برای استفاده از سخت‌افزار چند پردازنده‌ای آینده) یا افزودن قابلیت‌های جدید، این باید درست باشد. یک کلید این است که ترکیب سیستم (و جداسازی قطعات) هیچ شگفتی ایجاد نمی کند. یک مؤلفه باید بدون توجه به زمینه ای که در آن استفاده می شود، به طور مداوم رفتار کند - به این معنی که رابط های مؤلفه باید صریح، منتشر شده و عاری از عوارض جانبی پنهان باشند. این نشریه مقالات با کیفیت بالا با داوری قوی ارائه می دهد که جنبه های مختلف را پوشش می دهد: طراحی و پیاده سازی سیستم (هم برای سخت افزار و هم برای نرم افزار)، ابزارها (زبان های برنامه نویسی همزمان، کتابخانه ها و هسته های زمان اجرا)، روش ها و برنامه های رسمی. IOS Press یک شرکت بین المللی است. ناشر علمی، فنی و پزشکی کتب باکیفیت برای دانشگاهیان، دانشمندان و متخصصان در تمامی رشته ها. برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر

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

The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person - maybe not even a small team - can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change ?– not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used - which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.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 10
Interfacing with Honeysuckle by Formal Contract......Page 12
Groovy Parallel! A Return to the Spirit of occam?......Page 24
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software......Page 40
Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA......Page 54
JCSP-Poison: Safe Termination of CSP Process Networks......Page 82
jcsp.mobile: A Package Enabling Mobile Processes and Channels......Page 120
CSP++: How Faithful to CSPm?......Page 140
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams......Page 158
Improving TCP/IP Multicasting with Message Segmentation......Page 166
Lazy Cellular Automata with Communicating Processes......Page 176
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation......Page 188
The Architecture of the Minimum intrusion Grid (MiG)......Page 200
Verification of JCSP Programs......Page 214
Architecture Design Space Exploration for Streaming Applications through Timing Analysis......Page 230
A Foreign-Function Interface Generator for occam-pi......Page 246
Interfacing C and occam-pi......Page 260
Interactive Computing with the Minimum intrusion Grid (MiG)......Page 272
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog......Page 286
Mobile Barriers for occam-pi: Semantics, Implementation and Application......Page 300
Exception Handling Mechanism in Communicating Threads for Java......Page 328
R16: A New Transputer Design for FPGAs......Page 346
Towards Strong Mobility in the Shared Source CLI......Page 374
gCSP occam Code Generation for RMoX......Page 386
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach......Page 396
Communication and Synchronization in the Cell Processor (Invited Talk)......Page 408
Homogeneous Multiprocessing for Consumer Electronics (Invited Talk)......Page 410
Handshake Technology: High Way to Low Power (Invited Talk)......Page 412
If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)......Page 414
Author Index......Page 416

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

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

دانلود کتاب Fast Software Encryption: 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

دانلود کتاب Perturbation theory for linear operators

دانلود کتاب ClubErudits Hallucines

دانلود کتاب FPC: A Software Package for Physical Maps

دانلود کتاب Estructura interna de la PC