دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann (auth.), Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.) سری: IFIP Advances in Information and Communication Technology 329 ISBN (شابک) : 9783642152337, 9783642152344 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 325 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب سیستم های توزیع شده، موازی و بیولوژیک الهام گرفته شده: 7th IFIP TC 10 Conference Working، DIPES 2010 و 3rd IFIP TC 10، کنفرانس بین المللی، BICC 2010، برگزار شد به عنوان بخشی از WCC 2010، بریزبن، استرالیا، 20-23 سپتامبر 2010. پرونده ها: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، هوش مصنوعی (شامل رباتیک)، کاربردهای سیستم های اطلاعاتی (شامل اینترنت)، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های توزیع شده، موازی و بیولوژیک الهام گرفته شده: 7th IFIP TC 10 Conference Working، DIPES 2010 و 3rd IFIP TC 10، کنفرانس بین المللی، BICC 2010، برگزار شد به عنوان بخشی از WCC 2010، بریزبن، استرالیا، 20-23 سپتامبر 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
st این جلد شامل مجموعه مقالات دو کنفرانس است که به عنوان بخشی از 21 کنگره جهانی کامپیوتر IFIP در بریزبن، استرالیا، 20 تا 23 سپتامبر 2010 برگزار شد. قسمت اول کتاب مجموعه مقالات DIPES 2010، 7 IFIP را ارائه می کند. کنفرانس سیستم های جاسازی شده توزیع شده و موازی. این کنفرانس که در مقدمه ای جداگانه توسط کرسی ها ارائه شد، طیفی از موضوعات از مشخصات و طراحی سیستم های تعبیه شده تا قابلیت اطمینان و تحمل خطا را پوشش می دهد. بخش دوم کتاب شامل مجموعه مقالات BICC 2010، سومین کنفرانس IFIP در محاسبات مشارکتی با الهام از بیولوژیکی است. این کنفرانس به تکنیکهای نوظهور از حوزههای تحقیقاتی مانند محاسبات ارگانیک، محاسبات خودمختار و سیستمهای خودسازگار میپردازد، جایی که الهامبخش تکنیکها - از رفتارهای به نمایش گذاشته شده در طبیعت و زیستشناسی سرچشمه میگیرد. چنین تکنیک هایی نیاز به استفاده از تحقیقات توسعه یافته توسط جامعه DIPES در حمایت از همکاری بر روی چندین سیستم دارد. امیدواریم ترکیب این دو رویه برای خواننده ارزش افزوده و کار مرتبط ما را پیش ببرد.
st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20–23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.
Front Matter....Pages -
Front Matter....Pages 1-1
Preface....Pages 3-3
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design....Pages 5-6
Rialto 2.0: A Language for Heterogeneous Computations....Pages 7-18
Scenario-Based Modeling in Industrial Information Systems....Pages 19-30
An Entirely Model-Based Framework for Hardware Design and Simulation....Pages 31-42
Extending the Standard Execution Model of UML for Real-Time Systems....Pages 43-54
Task Migration for Fault-Tolerant FlexRay Networks....Pages 55-65
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems....Pages 66-77
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems....Pages 78-89
Model Checking of Concurrent Algorithms: From Java to C....Pages 90-101
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services....Pages 102-113
Efficient Mutation-Analysis Coverage for Constrained Random Verification....Pages 114-124
Generating VHDL Source Code from UML Models of Embedded Systems....Pages 125-136
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors....Pages 137-144
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement....Pages 145-156
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems....Pages 157-168
Dependency-Driven Distribution of Synchronous Programs....Pages 169-180
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC....Pages 181-192
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems....Pages 193-204
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems....Pages 205-216
Front Matter....Pages 217-217
Preface....Pages 219-219
Model Checking the Ant Colony Optimisation....Pages 221-232
Feature Selection for Classification Using an Ant System Approach....Pages 233-241
Novelty-Aware Attack Recognition – Intrusion Detection with Organic Computing Techniques....Pages 242-253
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms....Pages 254-265
A Collaborative Decision Support Model for Marine Safety and Security Operations....Pages 266-277
Combining Software and Hardware LCS for Lightweight On-Chip Learning....Pages 278-289
Collaborating and Learning Predators on a Pursuit Scenario....Pages 290-301
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking....Pages 302-313
Back Matter....Pages -