References

  1. Joe Armstrong (2007): Programming ERLANG: software for a concurrent world. Pragmatic programmers. Pragmatic Bookshelf, doi:10.1017/S0956796809007163. Available at http://www.oreilly.com/catalog/.
  2. Eduard Ayguadé, Nawal Copty, Alejandro Duran, Jay Hoeflinger, Yuan Lin, Federico Massaioli, Xavier Teruel, Priya Unnikrishnan & Guansong Zhang (2009): The design of openmp tasks. Parallel and Distributed Systems, IEEE Transactions on 20(3), pp. 404–418, doi:10.1109/TPDS.2008.105.
  3. A. Church & J.B. Rosser (1936): Some properties of conversion. Transactions of the American Mathematical Society 39(3), pp. 472–482, doi:10.1090/S0002-9947-1936-1501858-0.
  4. P Harrison & Mike Reeve (1987): The parallel graph reduction machine, Alice. In: Graph Reduction. Springer, pp. 181–202, doi:10.1007/3-540-18420-1_55.
  5. Charles E Leiserson (2010): The Cilk++ concurrency platform. The Journal of Supercomputing 51(3), pp. 244–257, doi:10.1145/1629911.1630048.
  6. Josep M Perez, Rosa M Badia & Jesus Labarta (2008): A dependency-aware task-based programming environment for multi-core architectures. In: Cluster Computing, 2008 IEEE International Conference on. IEEE, pp. 142–151, doi:10.1109/CLUSTR.2008.4663765.
  7. B.C. Pierce (2002): Types and programming languages. MIT press.
  8. Artur Podobas & Mats Brorsson (2010): A comparison of some recent task-based parallel programming models. In: Proceedings of the 3rd Workshop on Programmability Issues for Multi-Core Computers,(MULTIPROG'2010), Jan 2010, Pisa.
  9. R.F. Pointon, P.W. Trinder & H.W. Loidl (2001): The design and implementation of Glasgow Distributed Haskell. Implementation of Functional Languages, pp. 53–70, doi:10.1.1.20.3631.
  10. A. Radenski (2011): Shared Memory, Message Passing, and Hybrid Merge Sorts for Standalone and Clustered SMPs. In: Proc. PDPTA11, the 2011 international conference of parallel and distributed processing technique and applications. CSREA press, pp. 367–373, doi:10.1.1.217.7866.
  11. James Reinders (2010): Intel threading building blocks: outfitting C++ for multi-core processor parallelism. O'Reilly Media, Inc..
  12. Yngve Sundblad (1971): The Ackermann function. a theoretical, computational, and formula manipulative study. BIT Numerical Mathematics 11(1), pp. 107–119, doi:10.1007/BF01935330.
  13. SMP Superscalar (2008): Users Manual, Version 2.0. Barcelona Supercomputing Center.
  14. Gerald Jay Sussman & Guy L Steele Jr. (1975): Scheme: An interpreter for extended lambda calculus. In: MEMO 349, MIT AI LAB, doi:10.1.1.128.80.
  15. W. Thies, M. Karczmarek & S. Amarasinghe (2002): StreamIt: A language for streaming applications. In: Compiler Construction. Springer, pp. 49–84, doi:10.1007/3-540-45937-5_14.
  16. Willem Gerard Vree & Universiteit van Amsterdam (1989): Design considerations for a parallel reduction machine. Sneldruk Enschede.
  17. M. Weiland (2007): Chapel, Fortress and X10: novel languages for HPC. The University of Edinburgh, Tech. Rep., October.
  18. David Wentzlaff, Patrick Griffin, Henry Hoffmann, Liewei Bao, Bruce Edwards, Carl Ramey, Matthew Mattina, Chyi-Chang Miao, John F Brown & Anant Agarwal (2007): On-chip interconnection architecture of the tile processor. Micro, IEEE 27(5), pp. 15–31, doi:10.1109/MM.2007.89.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org