Cambridge international series on parallel computation ;
مشخصه جلد
6
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 179-193) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. The Key Idea -- 2. Approaches to Parallel Software Development -- 3. Architectural Background -- 4. Models and Their Properties -- 5. The Categorical Data Type of Lists -- 6. Software Development Using Lists -- 7. Other Operations on Lists -- 8. A Cost Calculus for Lists -- 9. Building Categorical Data Types -- 10. Lists, Bags, and Finite Sets -- 11. Trees -- 12. Arrays -- 13. Graphs -- 14. Conclusions -- A. C++ Library for Lists -- B. Historical Background.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The major reason for the lack of use of parallel computing is the mismatch between the complexity and variety of parallel hardware, and the software development tools to program it. The cost of developing software needs to be amortised over decades, but the platforms on which it executes change every few years, requiring complete rewrites. The evident cost-effectiveness of parallel computation has not been realized because of this mismatch. This book presents an integrated approach to parallel software development by addressing both software and performance issues together. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract data types, and of objects. Categorical data types abstract both from the representation of a data type, and also from the detailed control flow necessary to perform operations on it. They thus impose a strong separation between the semantics, on which programs can depend, and the implementation, which is therefore free to hide the parallel machine properties that are used.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9780521018562
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Parallel processing (Electronic computers)
موضوع مستند نشده
Parallel processing (Electronic computers)
موضوع مستند نشده
Parallelverarbeitung
موضوع مستند نشده
Programmation parallele (informatique)
موضوع مستند نشده
Programmierung
رده بندی ديویی
شماره
005
.
2
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
58
نشانه اثر
.
S59
1994
سایر رده بندی ها
شماره رده
DAT
516f
شماره رده
ST
150
شماره رده
ST
230
کد سيستم
stub
کد سيستم
rvk
کد سيستم
rvk
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )