دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress — TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada
دانلود کتاب طراحی و تحلیل سیستم های جاسازی شده توزیع شده: IFIP هفدهمین کنگره جهانی رایانه - جریان TC10 در سیستم های جاسازی شده توزیع شده و موازی (DIPES 2002) 25 تا 29 آگوست 2002 ، مونترئال ، کبک ، کانادا
مشخصات کتاب
Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress — TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada
ویرایش: 1 نویسندگان: João M. Fernandes, Ricardo J. Machado (auth.), Bernd Kleinjohann, K. H. Kim, Lisa Kleinjohann, Achim Rettberg (eds.) سری: IFIP — The International Federation for Information Processing 91 ISBN (شابک) : 9781475749373, 9780387355993 ناشر: Springer US سال نشر: 2002 تعداد صفحات: 291 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress — TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی و تحلیل سیستم های جاسازی شده توزیع شده: IFIP هفدهمین کنگره جهانی رایانه - جریان TC10 در سیستم های جاسازی شده توزیع شده و موازی (DIPES 2002) 25 تا 29 آگوست 2002 ، مونترئال ، کبک ، کانادا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی و تحلیل سیستم های جاسازی شده توزیع شده: IFIP هفدهمین کنگره جهانی رایانه - جریان TC10 در سیستم های جاسازی شده توزیع شده و موازی (DIPES 2002) 25 تا 29 آگوست 2002 ، مونترئال ، کبک ، کانادا
طراحی و تجزیه و تحلیل سیستم های جاسازی شده توزیع شده مشابه کنفرانس سازماندهی شده است. فصل 1 و 2 به روش های مشخصات و تجزیه و تحلیل آنها می پردازد در حالی که فصل 6 بر زمان بندی و تجزیه و تحلیل عملکرد متمرکز است. فصل 3 رویکردهای تأیید سیستم در سطوح مختلف انتزاع را تشریح می کند. فصل 4 به تحمل و تشخیص خطا می پردازد. جنبه‌های میان‌افزار و استفاده مجدد از نرم‌افزار در فصل 5 بررسی می‌شوند. فصل‌های 7 و 8 بر موضوعات مرتبط با توزیع مانند پارتیشن‌بندی، زمان‌بندی و ارتباطات متمرکز هستند. کتاب با فصلی در مورد روش‌ها و چارچوب‌های طراحی بسته می‌شود.
توضیحاتی درمورد کتاب به خارجی
Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.
فهرست مطالب
Front Matter....Pages i-xi
Can UML be a System-Level Language for Embedded Software?....Pages 1-10
PEARL for Distributed Embedded Systems....Pages 11-20
Universal Plug and Play Machine Models....Pages 21-30
Analysis of Event-Driven Real-Time Systems with Time Petri Nets....Pages 31-40
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems....Pages 41-50
Model checking robustness to desynchronization....Pages 51-60
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems....Pages 61-69
Towards Design Verification and Validation at Multiple Levels of Abstraction....Pages 71-80
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions....Pages 81-90
Statistical Analysis of a Hybrid Replication Model....Pages 91-100
Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study....Pages 101-112
Fault detection in safety-critical embedded systems....Pages 113-119
Dependability Characterization of Middleware Services....Pages 121-130
Adaptive Middleware for Ubiquitous Computing Environments....Pages 131-140
Finegrained Application Specific Customization of Embedded Software....Pages 141-151
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems....Pages 153-162
Transforming Execution-Time Boundable Code into Temporally Predictable Code....Pages 163-172
Bottom-Up Performance Analysis of HW/SW Platforms....Pages 173-183
Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems....Pages 185-194
Integration of Low Power Analysis into High-Level Synthesis....Pages 195-204
Going Beyond Deadline-Driven Low-level Scheduling in Distributed Real-Time Computing Systems....Pages 205-215
IEEE-1394 A standard to interconnect distributed systems....Pages 217-225
Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a....Pages 227-236
A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems....Pages 237-246
Low Latency Color Segmentation on Embedded Real-Time Systems....Pages 247-256
Soft IP Design Framework Using Metaprogramming Techniques....Pages 257-266
How to integrate Webservices in Embedded System Design?....Pages 267-276
Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems....Pages 277-286
