ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04

دانلود کتاب پیشرفت در زبانهای طراحی و مشخصات SoCs: مشارکتهای منتخب از FDL’04

Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04

مشخصات کتاب

Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04

ویرایش: [1 ed.] 
نویسندگان: ,   
سری:  
ISBN (شابک) : 9780387261492, 0387261516 
ناشر: Springer US 
سال نشر: 2005 
تعداد صفحات: 305
[300] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

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



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

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


در صورت تبدیل فایل کتاب Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در زبانهای طراحی و مشخصات SoCs: مشارکتهای منتخب از FDL’04 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیشرفت در زبانهای طراحی و مشخصات SoCs: مشارکتهای منتخب از FDL’04



هفتمین کتاب از مجموعه‌های CHDL از مجموعه‌ای از بهترین مقالات انجمن زبان‌های مشخصات و طراحی (FDL'04) تشکیل شده است. FDL یک انجمن اروپایی برای یادگیری و تبادل در مورد روندهای جدید در کاربرد زبان ها و مدل ها برای طراحی سیستم های الکترونیکی و ناهمگن است.

این انجمن حول چهار کارگاه تشکیل شده بود که همگی در این کتاب نشان داده شده اند. مقالات برجسته: سیستم‌های سیگنال آنالوگ و مختلط، مشخصات و طراحی سیستم مبتنی بر UML، طراحی سیستم مبتنی بر C/C++ و زبان‌هایی برای مشخصات رسمی و تأیید.

سیستم‌های سیگنال آنالوگ و مختلط مقداری را به همراه دارد. پاسخ به مشکل دشوار شبیه سازی همزمان مدل های گسسته و پیوسته محاسبات. فصل‌های طراحی و مشخصات سیستم مبتنی بر UML بینشی را در مورد نحوه استفاده از مهندسی مدل محور برای طراحی سیستم‌های روی تراشه به ارمغان می‌آورند. مقالات طراحی سیستم مبتنی بر C/C++ عمدتاً طراحی سطح سیستم را با SystemC بررسی می‌کنند. زبان‌های رسمی
مشخصات و تأیید توسط یک مشارکت دعوت‌شده در استفاده از ادعاهای زمانی برای بررسی و شبیه‌سازی مدل نمادین نشان داده می‌شود. و در نهایت فصلی از این کتاب که توسط اعضای برجسته صنعت طراحی خودرو ارائه شده است، استاندارد اخیر صنعت AutoSAR را ارائه می‌کند.

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


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

The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the European Forum to learn and exchange on new trends on the application of languages and models for the design of electronic and heterogeneous systems.

The forum was structured around four workshops that are all represented in the book by outstanding articles: Analog and Mixed-Signal Systems, UML-based System Specification and Design, C/C++-Based System Design and Languages for Formal Specification and Verification.

The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computation. The UML-based System Specification and Design chapters bring insight into how to use the Model Driven Engineering to design Systems-on-Chip. The C/C++-Based System Design articles mainly explore system level design with SystemC. The Languages for Formal
Specification and Verification is represented by an invited contribution on the use of temporal assertions for symbolic model checking and simulation. And finally chapter in this book contributed by preeminent members of the automotive design industry presents the recent industry standard AutoSAR.

Overall Advances in Design and Specification Languages for SoCs is an excellent opportunity to catch up with the latest research developments in the field of languages for electronic and heterogeneous system design.





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