الکترونیک: سخت افزار

سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل

Real-time systems: specification, verification, and analysis

دانلود کتاب Real-time systems: specification, verification, and analysis (به فارسی: سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل) نوشته شده توسط «Mathai Joseph»

اطلاعات کتاب سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل

موضوع اصلی: کامپیوتر – سخت افزار

نوع: کتاب الکترونیکی

ناشر: Prentice Hall

نویسنده: Mathai Joseph

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1996

تعداد صفحه: 290

حجم فایل: 1.80 مگابایت

کد کتاب: 0134552970 , 9780134552972

نوبت چاپ: 1st

توضیحات کتاب سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل

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

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.

دانلود کتاب «سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان