دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Josyula Ramachandra Rao (eds.) سری: Lecture Notes in Computer Science 908 ISBN (شابک) : 3540591737, 9783540591733 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 181 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب گسترش روش UNITY: ترکیب ، انصاف و احتمال در موازی کاری: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، نظریه احتمالات و فرآیندهای تصادفی، آمار، عمومی
در صورت تبدیل فایل کتاب Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گسترش روش UNITY: ترکیب ، انصاف و احتمال در موازی کاری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این تک نگاری روش یونیتی را که در اواخر دهه 1980 توسط K. Mani Chandy و Jayadev Misra به عنوان فرمالیسمی که به تعیین و تأیید برنامه های موازی کمک می کند، در چندین جهت گسترش داده و تعمیم می دهد. ایدههای پشت UNITY به منظور کشف و درک پتانسیل و محدودیتهای این رویکرد: ابتدا UNITY برای فرمولبندی و مقابله با مشکلات موازیسازی مانند ترکیببندی به کار میرود. دوم، منطق و نماد UNITY به منظور افزایش دامنه کاربرد آن تعمیم داده می شود. در نهایت، پارادایمها و انتزاعهای مفید برای طراحی الگوریتمهای موازی احتمالی توسعه مییابند. در مجموع نتایج ارائه شده مجدداً بر وعده UNITY به عنوان یک رسانه همه کاره برای درمان بسیاری از مشکلات موازی تأکید می کند.
This monograph extends and generalizes the UNITY methodology,
introduced in the late 1980s by K. Mani Chandy and Jayadev
Misra as a formalism aiding in the specification and
verification of parallel programs, in several
directions.
This treatise further develops the ideas behind UNITY in
order to explore and understand the potential and limitations
of this approach: first UNITY is applied to formulate and
tackle problems in parallelism such as compositionality;
second, the logic and notation of UNITY is generalized in
order to increase its range of applicability; finally,
paradigms and abstractions useful for the design of
probabilistic parallel algorithms are developed. Taken
together the results presented reaffirm the promise of UNITY
as a versatile medium for treating many problems of
parallelism.
Prologue....Pages 3-9
Preliminaries....Pages 11-16
An introduction to UNITY....Pages 17-31
The role of commutativity in parallel program design....Pages 33-57
On the design of proof rules for fair parallel programs....Pages 59-98
Reasoning about probabilistic parallel programs....Pages 99-148
Eventual determinism: Using probabilistic means to achieve deteministic ends....Pages 149-163
Epilogue....Pages 165-167