ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Advances in Design and Specification Languages for Embedded Systems

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

Advances in Design and Specification Languages for Embedded Systems

مشخصات کتاب

Advances in Design and Specification Languages for Embedded Systems

دسته بندی: زبانشناسی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 1402061471, 9781402061493 
ناشر:  
سال نشر: 2007 
تعداد صفحات: 352 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Advances in Design and Specification Languages for Embedded Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب پیشرفت در طراحی و زبان های مشخصات برای سیستم های جاسازی شده

این کتاب جدیدترین کمک به سری زبان‌های طراحی تراشه است و شامل مقالات منتخبی است که در انجمن مشخصات و زبان‌های طراحی (FDL'06)، در سپتامبر 2006 ارائه شده است. و تمرین، و جهت‌های تحقیقاتی جدید را مشخص می‌کند. نقش زبان‌های مشخصات و مدل‌سازی را برجسته می‌کند و تجربیات عملی را با زبان‌های مشخصات و مدل‌سازی ارائه می‌کند.


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

This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.



فهرست مطالب

Front Matter....Pages i-x
Front Matter....Pages 1-3
Compact Modeling of Emerging Technologies with VHDL-AMS....Pages 5-21
Baseband Modeling Using Multidimensional Networks in VHDL-AMS....Pages 23-35
Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits....Pages 37-51
Improving Efficiency and Robustness of Analog Behavioral Models....Pages 53-68
ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems....Pages 69-88
Front Matter....Pages 89-91
The Quiny SystemCTM Front End: Self-Synthesising Designs....Pages 93-109
Mining Metadata from SystemC IP Library....Pages 111-129
Nonintrusive High-level SystemC Debugging....Pages 131-144
Transaction-Level Modeling in Communication Engine Design: A Case Study....Pages 145-156
Object-Oriented Transaction-Level Modelling....Pages 157-174
Front Matter....Pages 175-178
An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets....Pages 179-196
Online Monitoring of Properties Built on Regular Expressions Sequences....Pages 197-207
Observer-BasedVerification Using Introspection: A System-level Verification Implementation....Pages 209-224
Formalizing TLM with Communicating State Machines....Pages 225-242
Different Kinds of System Descriptions as Synchronous Programs....Pages 243-260
Front Matter....Pages 261-263
A Model-driven Co-design Flow for Embedded Systems....Pages 265-284
A Method for Mobile Terminal Platform Architecture Development....Pages 285-300
UML2 Profile for Modeling Controlled Data Parallel Applications....Pages 301-317
MCF: A Metamodeling-based Visual Component Composition Framework....Pages 319-337
Reusing Systems Design Experience Through Modelling Patterns....Pages 339-358




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

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