|
|
|
Parallel Algorithm Derivation and Program Transformation
|
 (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Lieferstatus: |
i.d.R. innert 5-10 Tagen versandfertig |
| Veröffentlichung: |
Mai 2013
|
| Genre: |
EDV / Informatik |
| ISBN: |
9781475782752 |
|
EAN-Code:
|
9781475782752 |
| Verlag: |
Springer |
| Einband: |
Kartoniert |
| Sprache: |
English
|
| Dimensionen: |
H 235 mm / B 155 mm / D 14 mm |
| Gewicht: |
388 gr |
| Seiten: |
252 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because emad hoc/em programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because emad hoc/em programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies.br/ emParallel Algorithm Derivation and Program Transformation/em stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models.br/ emParallel Algorithm Derivation and Program Transformation/em is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development.br/ |
|