مشخصات کتاب

Parallel Algorithm Derivation and Program Transformation

ویرایش:  
نویسندگان: Robert Paige,  J.H. Reif,  Ralph Wachter  
سری: The Springer International Series in Engineering and Computer Science 
ISBN (شابک) : 0792393627, 9780792393627 
ناشر: Springer 
سال نشر: 1993 
تعداد صفحات: 241 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب اشتقاق الگوریتم موازی و تحول برنامه: علوم کامپیوتر، هوش مصنوعی و یادگیری ماشین، بیوانفورماتیک، شبیه‌سازی کامپیوتر، سایبرنتیک، تعامل انسان و کامپیوتر، تئوری اطلاعات، رباتیک، تجزیه و تحلیل و طراحی سیستم، کامپیوتر و فناوری، طراحی و معماری، سخت‌افزار و DIY، کامپیوتر و فناوری، الگوریتم‌ها، الگوریتم‌ها، دیتا ، ژنتیک، مدیریت حافظه، برنامه نویسی، کامپیوتر و فناوری، توسعه نرم افزار، طراحی نرم افزار، آزمایش و مهندسی، برنامه نویسی، کامپیوتر و فناوری، زبان های برنامه نویسی، Ada، Ajax، برنامه نویسی زبان اسمبلی، بورلان

در صورت تبدیل فایل کتاب Parallel Algorithm Derivation and Program Transformation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب اشتقاق الگوریتم موازی و تحول برنامه

این کتاب شامل مقالات منتخب از کارگاه ONR در مورد طراحی الگوریتم موازی و تبدیل برنامه است که در دانشگاه نیویورک، موسسه کورانت، از 30 اوت تا 1 سپتامبر 1991 برگزار شد. هدف این کارگاه گرد هم آوردن دانشمندان کامپیوتر در برنامه نویسی تحول آفرین و طراحی الگوریتم موازی به منظور تشویق به اشتراک گذاری ایده هایی که ممکن است برای هر دو جامعه مفید باشد. این امید وجود داشت که قرار گرفتن در معرض روش‌های طراحی الگوریتم توسعه‌یافته در جامعه الگوریتم، پیشرفت در توسعه نرم‌افزار برای معماری‌های موازی در جامعه تحول‌آفرین را تحریک کند. همچنین امید بود که قرار گرفتن در معرض روش‌های دستوری نحو و نگرانی‌های برنامه‌ریزی عمل‌گرایانه توسعه‌یافته در جامعه تحول‌گرا، مدل‌های نظری واقعی‌تر معماری‌های موازی و رویکردهای سیستماتیک و جبری‌تر را برای طراحی الگوریتم‌های موازی در جامعه الگوریتم تشویق کند. برگزارکنندگان کارگاه رابرت پیج، جان ریف و رالف واچر بودند. این کارگاه توسط دفتر تحقیقات نیروی دریایی با شماره کمک مالی N00014-90-J-1421 حمایت شد. 44 شرکت کننده، 28 ارائه، و 5 نمایش سیستم وجود داشت. از همه شرکت کنندگان دعوت شد مقاله ای را برای چاپ در کتاب ارسال کنند. هر مقاله ارسالی توسط شرکت کنندگان در کارگاه داوری شد. تصمیم نهایی در مورد انتشار توسط سردبیران گرفته شد. انگیزه های مختلفی برای برگزاری کارگاه و انتشار مقالاتی که شرکت کنندگان در آن ارائه کردند وجود داشت. برنامه نویسی تحول آفرین و محاسبات موازی دو زمینه نوظهور هستند که در نهایت ممکن است برای موفقیت به یکدیگر وابسته باشند.

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

This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success.

فهرست مطالب

0792393627......Page 1
PARALLEL ALGORITHM\rDERIVATION AND PROGRAM\rTRANSFORMATION......Page 2
TABLE OF CONTENTS......Page 6
1. Deductive Derivation of Parallel Programs......Page 20
2. Derivation of Parallel Sorting Algorithms......Page 73
3. Some Experiments in Transforming Towards Parallel\rExecutability......Page 88
4. The Use of the Tupling Strategy in the Development\rof Parallel Programs......Page 127
5. Scheduling Program Task Graphs on MIMD\rArchitectures......Page 168
6 . Derivation of Randomized Sorting and Selection\rAlgorithms......Page 202
7. Time-Space Optimal Parallel Computation......Page 221
Index......Page 238

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

کتاب های تصادفی

دانلود کتاب Club and Prescription Drug Abuse

دانلود کتاب Practical Telecommunications and Wireless Communications: For Business and Industry (Practical Professional Books from Elsevier)

دانلود کتاب Masculinity and Nationhood, 1830–1910: Constructions of Identity and Citizenship in Belgium

دانلود کتاب 100 idee di cui non sapevi di aver bisogno

دانلود کتاب 生活在极限之内: 生态学、经济学和人口禁忌