دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg سری: ISBN (شابک) : 9783540001997, 3540001999 ناشر: Springer سال نشر: 2003 تعداد صفحات: 354 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Concurrency and Hardware Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب همزمانی و طراحی سخت افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این نظرسنجی پیشرفته LNCS به پارادایم رفتاری نسبتاً قدیمی و شناخته شده در محاسبات، همزمانی، و روشهایی که از طریق آنها همزمانی نمایش داده میشود یا میتوان از آن در دستگاههای سختافزاری دیجیتال بهرهبرداری کرد، اختصاص دارد. نه فصل ارائه شده در چهار بخش در مورد روشهای رسمی، مدارهای ناهمزمان، طراحی سیستمهای جاسازی شده و تأیید زمانبندی شده و تحلیل عملکرد سازماندهی شدهاند.
This LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. The nine chapters presented are organized in four parts on formal methods, asynchronous circuits, embedded systems design, and timed verification and performance analysis.
Composing Snippets....Pages 1-33
A Programming Approach to the Design of Asynchronous Logic Blocks....Pages 34-60
GALA (Globally Asynchronous — Locally Arbitrary) Design....Pages 61-107
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design....Pages 108-151
Decomposition in Asynchronous Circuit Design....Pages 152-190
Functional and Performance Modeling of Concurrency in VCC....Pages 191-227
Modeling and Designing Heterogeneous Systems....Pages 228-273
Timed Verification of Asynchronous Circuits....Pages 274-312
Performance Analysis of Asynchronous Circuits Using Markov Chains....Pages 313-343