Efficient Markov chain model of machine code program execution and halting

Created by W.Langdon from gp-bibliography.bib Revision:1.3838

  author =       "Riccardo Poli and William B. Langdon",
  title =        "Efficient Markov chain model of machine code program
                 execution and halting",
  booktitle =    "Genetic Programming Theory and Practice {IV}",
  year =         "2006",
  editor =       "Rick L. Riolo and Terence Soule and Bill Worzel",
  volume =       "5",
  series =       "Genetic and Evolutionary Computation",
  pages =        "257--278",
  address =      "Ann Arbor",
  month =        "11-13 " # may,
  publisher =    "Springer",
  keywords =     "genetic algorithms, genetic programming",
  ISBN =         "0-387-33375-4",
  URL =          "http://www.cs.essex.ac.uk/staff/poli/papers/GPTP2006.pdf",
  DOI =          "doi:10.1007/978-0-387-49650-4_16",
  size =         "16 pages",
  abstract =     "We focus on the halting probability and the number of
                 instructions executed by programs that halt for
                 Turing-complete register based machines. The former
                 represents the fraction of programs which provide
                 useful results in a machine code genetic programming
                 system. The latter determines run time and whether or
                 not the distribution of program functionality has
                 reached a fixed-point. We describe a Markov chain model
                 of program execution and halting which accurately fits
                 empirical data allowing us to efficiently estimate the
                 halting probability and the numbers of instructions
                 executed for programs including millions of
                 instructions. We also discuss how this model can be
                 applied to improve GP practice.",
  notes =        "Video at
                 http://cswww.essex.ac.uk/staff/rpoli/gptp06/ (high
  notes =        "part of \cite{Riolo:2006:GPTP} Published Jan 2007
                 after the workshop",

Genetic Programming entries for Riccardo Poli William B Langdon