Development and Verification of Parallel Algorithms in the Data Field Model (2000)

Cached

Download Links

by Björn Lisper , Jonas Holmerin
Venue:Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming
Citations:1 - 1 self

Active Bibliography

2 Data Field Haskell – Jonas Holmerin, Björn Lisper - 1999
3 The Data Field Model – Björn Lisper, Per Hammarlund - 2001
1 Development of Parallel Algorithms in Data Field Haskell – Jonas Holmerin, Bjorn Lisper - 2000
3 Haxcel: A Spreadsheet Interface to Haskell – Björn Lisper, Johan Malmström - 2002
2 Vectorising a Non-Strict Data-Parallel Functional Language – Jonathan Hill, Keith M. Clarke, Richard Bornat
2 Data Field Computations on a Data Parallel Java Client-Server Distributed Architecture – Jean-Louis Giavitto, Dominique De Vito - 1998
4 Data Fields – Björn Lisper - 1998
1 Compiling a Para-Functional Language to Parallel PACLIB C – Wolfgang Schreiner - 1994
Design and Implementation of 8½, a Declarative Data-Parallel Language – Olivier Michel - 1995
134 Models and Languages for Parallel Computation – David B. Skillicorn, Domenico Talia - 1998
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
5 A Transformational Approach which Combines Size Inference and Program Optimization – Christoph A. Herrmann, Christian Lengauer, Universitt Passau - 2001
An Introduction to the Data-Parallel Paradigm – Jonathan M. D. Hill, Queen Mary, Westfield College - 1994
10 The AIM is laziness in a data-parallel language – Jonathan M. D. Hill, Queen Mary - 1993
3 Vectorizing a non-strict functional language for a data-parallel "Spineless (not so) Tagless G-machine": – Jonathan M.D. Hill
Programmation Fonctionnelle Et Parallélisme: Une Approche Pragmatique – Gaétan Hains - 1994
Confluence of the BSλ-calculus – Frédéric Loulergue - 1999
1 Massively Parallel Programming Languages -- A Classification of Design Approaches – Wolfgang Gellerich, Michael M. Gutzmann
17 Portable High-Performance Programs – Matteo Frigo, Charles E. Leiserson - 1999