Research Directions in Parallel Functional Programming
Title | Research Directions in Parallel Functional Programming PDF eBook |
Author | Kevin Hammond |
Publisher | Springer Science & Business Media |
Pages | 507 |
Release | 2012-12-06 |
Genre | Computers |
ISBN | 1447108418 |
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some ways it is astonishing that such large systems work at all. But parallel programming is much, much harder. There are so many more things to go wrong. Debugging is a nightmare. A bug that shows up on one run may never happen when you are looking for it - but unfailingly returns as soon as your attention moves elsewhere. A large fraction of the program's code can be made up of marshalling and coordination algorithms. The core application can easily be obscured by a maze of plumbing. Functional programming is a radical, elegant, high-level attack on the programming problem. Radical, because it dramatically eschews side-effects; elegant, because of its close connection with mathematics; high-level, be cause you can say a lot in one line. But functional programming is definitely not (yet) mainstream. That's the trouble with radical approaches: it's hard for them to break through and become mainstream. But that doesn't make functional programming any less fun, and it has turned out to be a won derful laboratory for rich type systems, automatic garbage collection, object models, and other stuff that has made the jump into the mainstream.
Research Directions in High-level Parallel Programming Languages
Title | Research Directions in High-level Parallel Programming Languages PDF eBook |
Author | Jean-Pierre Banâtre |
Publisher | Springer |
Pages | 406 |
Release | 1992 |
Genre | Computers |
ISBN |
Research Directions in High-Level Parallel Programming Languages
Title | Research Directions in High-Level Parallel Programming Languages PDF eBook |
Author | Jean Pierre Banatre |
Publisher | |
Pages | 402 |
Release | 2014-01-15 |
Genre | |
ISBN | 9783662209745 |
Encyclopedia of Parallel Computing
Title | Encyclopedia of Parallel Computing PDF eBook |
Author | David Padua |
Publisher | Springer Science & Business Media |
Pages | 2211 |
Release | 2014-07-08 |
Genre | Computers |
ISBN | 038709766X |
Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing. Topics for this comprehensive reference were selected, written, and peer-reviewed by an international pool of distinguished researchers in the field. The Encyclopedia is broad in scope, covering machine organization, programming languages, algorithms, and applications. Within each area, concepts, designs, and specific implementations are presented. The highly-structured essays in this work comprise synonyms, a definition and discussion of the topic, bibliographies, and links to related literature. Extensive cross-references to other entries within the Encyclopedia support efficient, user-friendly searchers for immediate access to useful information. Key concepts presented in the Encyclopedia of Parallel Computing include; laws and metrics; specific numerical and non-numerical algorithms; asynchronous algorithms; libraries of subroutines; benchmark suites; applications; sequential consistency and cache coherency; machine classes such as clusters, shared-memory multiprocessors, special-purpose machines and dataflow machines; specific machines such as Cray supercomputers, IBM’s cell processor and Intel’s multicore machines; race detection and auto parallelization; parallel programming languages, synchronization primitives, collective operations, message passing libraries, checkpointing, and operating systems. Topics covered: Speedup, Efficiency, Isoefficiency, Redundancy, Amdahls law, Computer Architecture Concepts, Parallel Machine Designs, Benmarks, Parallel Programming concepts & design, Algorithms, Parallel applications. This authoritative reference will be published in two formats: print and online. The online edition features hyperlinks to cross-references and to additional significant research. Related Subjects: supercomputing, high-performance computing, distributed computing
Explicit and Implicit Parallel Functional Programming
Title | Explicit and Implicit Parallel Functional Programming PDF eBook |
Author | Jost Berthold |
Publisher | LAP Lambert Academic Publishing |
Pages | 196 |
Release | 2010-07 |
Genre | |
ISBN | 9783838378992 |
This book investigates the relation between the two conflicting goals of explicitness and abstraction, for the implementation of parallel functional languages and skeletons. The first part describes the implementation of the parallel Haskell extension Eden in layers of increasing abstraction. The author derives a minimal monadic sublanguage for elementary parallel coordination, and discusses a generic runtime system for parallel computations, major parts of which are Haskell. The second main part concentrates on parallel skeletons - abstract algorithmic patterns with parallel implementation. Exemplarily, the author discusses implementations for data parallel skeletons (map, map-reduce, Google-MapReduce), and for topology skeletons, which describe interaction and communication in regularly structured process networks. The book is an in-depth study of parallel functional programming, both for researchers interested in the first part, and for professionals seeking new impulses for practical development of parallel programs. It shows that functional languages provide a suitable abstraction level to reason about parallel programming and to circumvent its complexity.
Central European Functional Programming School
Title | Central European Functional Programming School PDF eBook |
Author | Zoltán Horváth |
Publisher | Springer |
Pages | 264 |
Release | 2006-11-10 |
Genre | Computers |
ISBN | 3540468455 |
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping.
Process Algebra for Parallel and Distributed Processing
Title | Process Algebra for Parallel and Distributed Processing PDF eBook |
Author | Michael Alexander |
Publisher | CRC Press |
Pages | 440 |
Release | 2008-12-22 |
Genre | Mathematics |
ISBN | 1420064878 |
Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning-process algebra-has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Pr