Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation

[1]  Guy E. Blelloch,et al.  Compiling Collection-Oriented Languages onto Massively Parallel Computers , 1990, J. Parallel Distributed Comput..

[2]  Mizuhito Ogawa,et al.  Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems , 2000, ICFP '00.

[3]  Akihiko Takano,et al.  Tupling calculation eliminates multiple data traversals , 1997, ICFP '97.

[4]  Masato Takeichi,et al.  An Accumulative Parallel Skeleton for All , 2002, APLAS.

[5]  Murray Cole.  Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem , 1993, PARCO.

[6]  John H. Reppy,et al.  Manticore: a heterogeneous parallel language , 2007, DAMP '07.

[7]  Masato Takeichi,et al.  Formal derivation of efficient parallel programs by construction of list homomorphisms , 1997, TOPL.

[8]  Victor Luchangco,et al.  The Fortress Language Specification Version 1.0 , 2007 .

[9]  Manuel M. T. Chakravarty,et al.  Nepal - Nested Data Parallelism in Haskell , 2001, Euro-Par.

[10]  Mizuhito Ogawa,et al.  Maximum Marking Problems with Accumulative Weight Functions , 2005, ICTAC.

[11]  Richard S. Bird,et al.  An introduction to the theory of lists , 1987 .

[12]  Guy E. Blelloch,et al.  Programming parallel algorithms , 1996, CACM.

[13]  Manuel M. T. Chakravarty,et al.  Functional array fusion , 2001, ICFP '01.

[14]  Simon L. Peyton Jones,et al.  Data parallel Haskell: a status report , 2007, DAMP '07.

[15]  Guy E. Blelloch,et al.  Implementation of a portable nested data-parallel language , 1993, PPOPP '93.

[16]  Kiminori Matsuzaki,et al.  Implementing Fusion-Equipped Parallel Skeletons by Expression Templates , 2009, IFL.

[17]  Guy E. Blelloch,et al.  A provable time and space efficient implementation of NESL , 1996, ICFP '96.

[18]  Sergei Gorlatch,et al.  Systematic Efficient Parallelization of Scan and Other List Homomorphisms , 1996, Euro-Par, Vol. II.

[19]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[20]  Akimasa Morihata.  A Short Cut to Optimal Sequences , 2009, APLAS.

[21]  Masato Takeichi,et al.  Generators-of-Generators Library with Optimization Capabilities in Fortress , 2010, Euro-Par.

[22]  Herbert Kuchen,et al.  Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures , 2010, 2010 IEEE 12th International Conference on High Performance Computing and Communications (HPCC).

[23]  Masato Takeichi,et al.  MATHEMATICAL ENGINEERING TECHNICAL REPORTS Generator-based GG Fortress Library —Collection of GGs and Theories— , 2008 .