Record ID | ia:foundationsofpar0000skil |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/foundationsofpar0000skil/foundationsofpar0000skil_marc.xml |
Download MARC binary | https://www.archive.org/download/foundationsofpar0000skil/foundationsofpar0000skil_meta.mrc |
LEADER: 04220cam 2200649 a 4500
001 ocm30155765
003 OCoLC
005 20200110210109.0
008 940329s1994 enka b 001 0 eng
010 $a 94014979
040 $aDLC$beng$cDLC$dUKM$dJNA$dBTCTA$dYDXCP$dBAKER$dZWZ$dDEBBG$dOCLCQ$dBDX$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dUV1$dOCLCQ$dOCLCO$dSNN$dUWO$dUKUOY$dOCLCQ
015 $aGB9504911$2bnb
019 $a31934946$a123061987
020 $a0521455111
020 $a9780521455114
020 $z0052145111
035 $a(OCoLC)30155765$z(OCoLC)31934946$z(OCoLC)123061987
050 00 $aQA76.58$b.S59 1994
082 00 $a005.2$220
084 $aST 150$2rvk
084 $aST 230$2rvk
084 $aDAT 516f$2stub
100 1 $aSkillicorn, David B.
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
338 $avolume$bnc$2rdacarrier
490 1 $aCambridge international series on parallel computation ;$v6
504 $aIncludes bibliographical references (pages 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. This 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. The 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.
583 1 $aLegacy$c2018$5UoY
650 0 $aParallel processing (Electronic computers)
650 7 $aParallel processing (Electronic computers)$2fast$0(OCoLC)fst01052928
650 7 $aParallelverarbeitung$2gnd
650 7 $aProgrammierung$2gnd
650 7 $aProgrammation paralle le (informatique)$2ram
653 0 $aParallel programming
830 0 $aCambridge international series on parallel computation ;$v6.
856 41 $3Table of contents$uhttp://catdir.loc.gov/catdir/toc/cam027/94014979.html
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/description/cam026/94014979.html
938 $aBaker & Taylor$bBKTY$c75.00$d75.00$i0521455111$n0002645106$sactive
938 $aBrodart$bBROD$n47730889$c$78.99
938 $aBaker and Taylor$bBTCP$n94014979
938 $aYBP Library Services$bYANK$n2376228
029 1 $aAU@$b000010869193
029 1 $aAU@$b000011374904
029 1 $aDEBBG$bBV010104752
029 1 $aDEBBG$bBV022153050
029 1 $aHEBIS$b050979698
029 1 $aNZ1$b4444244
029 1 $aYDXCP$b465940
029 1 $aZWZ$b032686846
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 284 OTHER HOLDINGS