- author = "Paul Walsh and Conor Ryan",
- title = "Automatic conversion of programs from serial to parallel using Genetic Programming - The {Paragen} System",
- booktitle = "Proceedings of ParCo'95",
- year = "1995",
- editor = "Erik H. D'Hollander and Gerhard R. Joubert and Frans J. Peters and Denis Trystram",
- series = "Advances in Parallel Computing",
- volume = "11",
- publisher = "Elsevier",
- pages = "415--422",
- publisher_address = "Amsterdam, Holland",
- address = "Gent, Belgium",
- month = "19-22 " # sep,
- publisher = "North-Holland",
- keywords = "genetic algorithms, genetic programming, genetic improvement, paragen, parallel computing, autoparallelisation",
- ISBN = "0-444-82490-1",
- broken = "ftp://odyssey.ucc.ie/pub/genetic/paragen.ps.Z",
-
URL = "
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.26.1301.pdf",
-
URL = "
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.1301",
-
URL = "https://core.ac.uk/display/22182162",
-
biburl = "http://dblp2.uni-trier.de/rec/bib/conf/parco/WalshR95",
- size = "8 pages",
- abstract = "This paper describes a novel system of converting sequential programs into functionally equivalent parallel programs without using data dependency rules. This system uses the powerful directed search technique of Genetic Programming to find the most efficient program in terms of parallelism. A brief description of the field of Genetic Programming is given, followed by a discussion on the design and implementation issues of this system.",
-
notes = "Uses Conor's Pygmy algorithm \cite{kinnear:ryan} (for
correctness v speed (ie parallelism)). Uses population
of 20 to 80 individuals for 20 to 50 generations.
http://www.parco.org/parco95/Parco95/www.elis.rug.ac.be/ELISgroups/paris/staff/hvm/parco/papers.html
p3 'Each statement or line of code in the original serial becomes a [GP] terminal' p4 'no...analyse of the original [serial] program' fitness increased each test cause where parallel gives same answer as serial. DoAcross, Do. Fitness loopholes.
p8 'converting the code to CSP [so] that the resulting [parallel] program may be formally verified.' See also \cite{ryan:1997:eppp}
Problems from: Braunl, T. Automatic Parallelisation and Vectorization, Parallel Programming an Introduction, Prentice Hall, 1993, ISBN 0-13-336827-0.",
