ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Communicating Process Architectures 2007: WoTUG-30

دانلود کتاب ارتباطات معماری فرآیند 2007: WoTUG-30

Communicating Process Architectures 2007: WoTUG-30

مشخصات کتاب

Communicating Process Architectures 2007: WoTUG-30

دسته بندی: سیستم های اطلاعاتی
ویرایش:  
نویسندگان:   
سری: Concurrent Systems Engineering Series 
ISBN (شابک) : 9781586037673, 1586037676 
ناشر: IOS Press 
سال نشر: 2007 
تعداد صفحات: 528 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Communicating Process Architectures 2007: WoTUG-30 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب ارتباطات معماری فرآیند 2007: WoTUG-30

این نشریه به علوم کامپیوتر و مدل‌های Concurrency می‌پردازد. این به ویژه بر طراحی مشترک سخت افزار/نرم افزار و درک همزمانی ناشی از این سیستم ها تاکید دارد. مجموعه ای از مقالات در مورد این موضوع، از مدل سازی رسمی اتوبوس ها در سیستم های طراحی مشترک گرفته تا شبیه سازی نرم افزار و محیط های توسعه گنجانده شده است. این کتاب شامل مشارکتی از پروفسور سر تونی هور، پدر بنیانگذار مبنای نظری است که بسیاری از کارهای این مجموعه بر آن استوار است. او افکار جدید خود را در مورد همزمانی دقیق به اشتراک می گذارد. کمک مهم دیگر توسط پروفسور دیوید می است. او معمار ارشد Transputer و زبان برنامه نویسی occam بود. ویراستاران اعتماد دارند که این نشریه آموزنده و الهام بخش خواهد بود.

IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است.

برخی از زمینه هایی که ما در این زمینه منتشر می کنیم:

-زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیکی - تجارت الکترونیک - اقتصاد دانش -مطالعات شهری -کنترل تسلیحات -درک و پاسخ به تروریسم -انفورماتیک پزشکی -علوم کامپیوتر


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

This publication deals with Computer Science and models of Concurrency. It particularly emphasises on hardware/software co-design, and the understanding of concurrency that results from these systems. A range of papers on this topic have been included, from the formal modeling of buses in co-design systems through to software simulation and development environments. The book includes a contribution by Professor Sir Tony Hoare, the founding father of the theoretical basis upon which much of the work in this series is based. He shares his new thoughts on fine-grained concurrency. Another important contribution is by Professor David May. He was chief architect for the Transputer and the occam programming language. The editors trust you will find this publication informative and inspirational.

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
Programme Committee......Page 6
Additional Reviewers......Page 7
Contents......Page 9
Fine-Grain Concurrency......Page 13
Communicating Process Architecture for Multicores......Page 33
Lazy Exploration and Checking of CSP Models with CSPsim......Page 45
The Core Language of Aldwych......Page 63
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java......Page 79
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous......Page 101
Concurrent/Reactive System Design with Honeysuckle......Page 121
CSP and Real-Time: Reality or Illusion?......Page 131
Testing and Sampling Parallel Systems......Page 161
Mobility in JCSP: New Mobile Channel and Mobile Process Models......Page 175
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures......Page 195
Design Principles of the SystemCSP Software Framework......Page 219
PyCSP - Communicating Sequential Processes for Python......Page 241
A Process-Oriented Architecture for Complex System Modelling......Page 261
Concurrency Control and Recovery Management for Open e-Business Transactions......Page 279
trancell - An Experimental ETC to Cell BE Translator......Page 299
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems......Page 311
High Cohesion and Low Coupling: The Office Mapping Factor......Page 325
A Process Oriented Approach to USB Driver Development......Page 335
A Native Transterpreter for the LEGO Mindstorms RCX......Page 351
Integrating and Extending JCSP......Page 361
Hardware/Software Synthesis and Verification Using Esterel......Page 383
Modeling and Analysis of the AMBA Bus Using CSP and B......Page 391
A Step Towards Refining and Translating B Control Annotations to Handel-C......Page 411
Towards the Formal Verification of a Java Processor in Event-B......Page 437
Advanced System Simulation, Emulation and Test (ASSET)......Page 455
Development of a Family of Multi-Core Devices Using Hierarchical Abstraction......Page 477
Domain Specific Transformations for Hardware Ray Tracing......Page 491
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions......Page 505
Transactional CSP Processes......Page 515
Algebras of Actions in Concurrent Processes......Page 517
Using occam-pi Primitives with the Cell Broadband Engine......Page 519
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP......Page 521
Compiling occam to C with Tock......Page 523
Author Index......Page 525




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

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