Parallel Algorithm Derivation and Program Transformation

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Paige, Robert (Επιμελητής έκδοσης), Reif, John (Επιμελητής έκδοσης), Watcher, Raplh (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA : Springer US, 1993.
Σειρά:The Springer International Series In Engineering and Computer Science, 231
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03818nam a22005175i 4500
001 978-0-585-27330-3
003 DE-He213
005 20151204185524.0
007 cr nn 008mamaa
008 100301s1993 xxu| s |||| 0|eng d
020 |a 9780585273303  |9 978-0-585-27330-3 
024 7 |a 10.1007/b102256  |2 doi 
040 |d GrThAP 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a UL  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Parallel Algorithm Derivation and Program Transformation  |h [electronic resource] /  |c edited by Robert Paige, John Reif, Raplh Watcher. 
264 1 |a Boston, MA :  |b Springer US,  |c 1993. 
300 |a XX, 228 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a The Springer International Series In Engineering and Computer Science,  |x 0893-3405 ;  |v 231 
505 0 |a Deductive Derivation of Parallel Programs -- Derivation of Parallel Sorting Algorithms -- Some Experiments in Transforming Towards Parallel Executability -- The Use of the Tupling Strategy in the Development of Parallel Programs -- Scheduling Program Task Graphs on MIMD Architectures -- Derivation of Randomized Sorting and Selection Algorithms -- Time-Space Optimal Parallel Computation. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Microprocessors. 
650 0 |a Software engineering. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering/Programming and Operating Systems. 
650 2 4 |a Processor Architectures. 
650 2 4 |a Computer Science, general. 
700 1 |a Paige, Robert.  |e editor. 
700 1 |a Reif, John.  |e editor. 
700 1 |a Watcher, Raplh.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9780792393627 
830 0 |a The Springer International Series In Engineering and Computer Science,  |x 0893-3405 ;  |v 231 
856 4 0 |u http://dx.doi.org/10.1007/b102256  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
912 |a ZDB-2-BAE 
950 |a Engineering (Springer-11647)