Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:216861329:3069 |
Source | marc_columbia |
Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:216861329:3069?format=raw |
LEADER: 03069fam a2200361 a 4500
001 1670753
005 20220608210508.0
008 940329s1994 enka b 001 0 eng
010 $a 94014979
020 $a0521455111
035 $a(OCoLC)30155765
035 $a(OCoLC)ocm30155765
035 $9AKT6052CU
035 $a(NNC)1670753
035 $a1670753
040 $aDLC$cDLC$dDLC$dOrLoB
050 00 $aQA76.58$b.S59 1994
082 00 $a005.2$220
100 1 $aSkillicorn, David B.$0http://id.loc.gov/authorities/names/n86036061
245 10 $aFoundations of parallel programming /$cDavid Skillicorn.
260 $aCambridge ;$aNew York, NY, USA :$bCambridge University Press,$c1994.
300 $axii, 197 pages :$billustrations ;$c26 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aCambridge international series on parallel computation ;$v6
504 $aIncludes bibliographical references (p. [179]-193) and index.
505 0 $a1. 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.
520 $aThe 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 the 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.
520 8 $aThis book presents an integrated approach to parallel software development that addresses software issues and performance issues together. It presents a methodology for software construction that produces software that is architecture-independent and intellectually abstract. The software can execute efficiently on a range of existing and potential hardware configurations.
520 8 $aThe approach is based on the construction of categorical data types, a generalisation 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.
650 0 $aParallel processing (Electronic computers)$0http://id.loc.gov/authorities/subjects/sh85097826
830 0 $aCambridge international series on parallel computation ;$v6.$0http://id.loc.gov/authorities/names/n92005491
852 00 $boff,eng$hQA76.58$i.S59 1994