دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A discipline of multiprogramming: programming theory for distributed applications
دانلود کتاب رشته ای از چندبرنامه نویسی: نظریه برنامه نویسی برای کاربردهای توزیع شده
مشخصات کتاب
A discipline of multiprogramming: programming theory for distributed applications
ویرایش:
نویسندگان: Misra. Jayadev
سری:
ISBN (شابک) : 9781461264279, 144198528X
ناشر: Springer
سال نشر: 2001
تعداد صفحات: 430
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب A discipline of multiprogramming: programming theory for distributed applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رشته ای از چندبرنامه نویسی: نظریه برنامه نویسی برای کاربردهای توزیع شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رشته ای از چندبرنامه نویسی: نظریه برنامه نویسی برای کاربردهای توزیع شده
در این کتاب، یک مدل برنامه نویسی توسعه داده شده است که به مسائل اساسی "برنامه نویسی در مقیاس بزرگ" می پردازد. این رویکرد چندین مفهوم از نظریه پایگاه داده، برنامه نویسی شی گرا و طراحی سیستم های واکنشی را یکپارچه می کند. این مدل و نظریه مرتبط با نام "Seuss" نامگذاری شده است. هدف اصلی Seuss ساده کردن چندبرنامه‌نویسی است. برای این منظور، نگرانی اجرای همزمان از مشکل طراحی برنامه اصلی جدا شده است. اجرای برنامه به عنوان یک رشته کنترل درک می شود - اجرای متوالی اقدامات که بر اساس برخی از سیاست های زمان بندی انتخاب می شوند. در نتیجه، می‌توان در مورد ویژگی‌های یک برنامه از یک رشته اجرای آن استدلال کرد.
توضیحاتی درمورد کتاب به خارجی
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
فهرست مطالب
Front Matter....Pages i-xviii
A Discipline of Multiprogramming....Pages 1-12
Action Systems....Pages 13-37
An Object-Oriented View of Action Systems....Pages 39-56
Small Examples....Pages 57-89
Safety Properties....Pages 91-154
Progress Properties....Pages 155-213
Maximality Properties....Pages 215-233
Program Composition....Pages 235-280
Conditional and Closure Properties....Pages 281-314
Reduction Theorem....Pages 315-337
Distributed Implementation....Pages 339-359
A Logic for Seuss....Pages 361-385
Back Matter....Pages 387-420
