ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

دانلود کتاب زبان‌های سیستم‌های تعبیه‌شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL'08

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

مشخصات کتاب

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Electrical Engineering 36 
ISBN (شابک) : 9781402097133, 9781402097140 
ناشر: Springer Netherlands 
سال نشر: 2009 
تعداد صفحات: 326 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

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



کلمات کلیدی مربوط به کتاب زبان‌های سیستم‌های تعبیه‌شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL'08: است



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

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


در صورت تبدیل فایل کتاب Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان‌های سیستم‌های تعبیه‌شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL'08 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان‌های سیستم‌های تعبیه‌شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL'08



سیستم‌های تعبیه‌شده کنترل پیچیده و وظایف پردازش داده‌ها را در زمینه‌های کاربردی مختلف مانند خودروسازی، اویونیک، محصولات مصرفی، و مخابرات بر عهده می‌گیرند. آنها محرک اصلی برای بهبود کلی ایمنی، کارایی و راحتی سیستم هستند. تقاضا برای بهبود بیشتر در این جنبه‌ها تنها با طراحی سیستم‌های تعبیه‌شده با پیچیدگی فزاینده می‌تواند برآورده شود، که به نوبه خود توسعه روش‌های طراحی سیستم جدید بر اساس مشخصات، طراحی و زبان‌های تأیید را ضروری می‌کند.

</ P>

هدف زبان‌های سیستم‌های جاسازی شده و کاربردهای آن‌ها ارائه یک نمای کلی از روندهای تحقیقاتی فعلی، نتایج و تجربیات کاربردی در زبان‌های کامپیوتری برای سیستم‌های جاسازی شده به محققان و طراحان است. این کتاب بر اساس مرتبط ترین کمک ها به FDL'08، برترین کنفرانس بین المللی متخصص در این زمینه است. این مشارکت ها بر اساس نتایج بررسی های ارائه شده توسط کارشناسان برجسته تحقیقات و صنعت انتخاب شده اند. در بسیاری از موارد، نویسندگان اثر اصلی خود را با افزودن وسعت، عمق یا توضیح بهبود بخشیده اند.


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

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages.

The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL’08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.



فهرست مطالب

Front Matter....Pages i-xiv
Front Matter....Pages 1-1
Power and Energy Estimations in Model-Based Design....Pages 3-26
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains....Pages 27-41
Generation of MARTE Allocation Models from Activity Threads....Pages 43-56
Model-Driven System Validation by Scenarios....Pages 57-69
An Advanced Simulink Verification Flow Using SystemC....Pages 71-84
Front Matter....Pages 85-85
VHDL–AMS Implementation of a Numerical Ballistic CNT Model....Pages 87-100
Wide-Band Sigma–Delta ADC Design in Superconducting Technology....Pages 101-112
Heterogeneous and Non-linear Modeling in SystemC–AMS....Pages 113-128
Front Matter....Pages 129-129
Application Workload and SystemC Platform Modeling for Performance Evaluation....Pages 131-147
Adaptive Interconnect Models for Transaction-Level Simulation....Pages 149-165
Efficient Architecture Evaluation Using Functional Mapping....Pages 167-182
Symbolic Scheduling of SystemC Dataflow Designs....Pages 183-199
SystemC Simulation of Networked Embedded Systems....Pages 201-211
Modeling of Embedded Software Multitasking in SystemC/OSSS....Pages 213-226
High-Level Reconfiguration Modeling in SystemC....Pages 227-240
Stream Programming for FPGAs....Pages 241-253
Front Matter....Pages 255-255
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level....Pages 257-272
Debugging Contradictory Constraints in Constraint-Based Random Simulation....Pages 273-290
Design of Communication Infrastructures for Reconfigurable Systems....Pages 291-307
Analysis of Non-functional Properties of MPSoC Designs....Pages 309-324




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