000 02552nam a22003498i 4500
001 CR9780511526626
003 UkCbUP
005 20200124160237.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 090407s1994||||enk o ||1 0|eng|d
020 _a9780511526626 (ebook)
020 _z9780521455114 (hardback)
020 _z9780521018562 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA76.58
_b.S59 1994
082 0 0 _a005.2
_220
100 1 _aSkillicorn, David B.,
_eauthor.
245 1 0 _aFoundations of parallel programming /
_cDavid Skillicorn.
264 1 _aCambridge :
_bCambridge University Press,
_c1994.
300 _a1 online resource (xii, 197 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aCambridge international series on parallel computation ;
_v6
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
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 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.
650 0 _aParallel processing (Electronic computers)
776 0 8 _iPrint version:
_z9780521455114
830 0 _aCambridge international series on parallel computation ;
_v6.
856 4 0 _uhttps://doi.org/10.1017/CBO9780511526626
999 _c518141
_d518139