Markov modelling and parameterisation of genetic evolutionary test generations

Journal of Global Optimization

Volumn 51, Issue 4, 2011, Pages 743-751

  Cheng, Adriel ^a   Lim, Cheng Chew ^a  

^a UNIVERSITY OF ADELAIDE   (Australia)

Author keywords

Genetic algorithm; Hardware design verification; Markov model; Parameter selection

Indexed keywords

ALGORITHM PARAMETERS; ANALYTICAL SOLUTIONS; EMPIRICAL DATA; HARDWARE DESIGN VERIFICATION; MARKOV MODEL; OPTIMISATIONS; PARAMETER SELECTION; PROCESS CHARACTERISTICS; TEST GENERATIONS;

MARKOV PROCESSES; OPTIMIZATION;

GENETIC ALGORITHMS;

EID: 83555172556     PISSN: 09255001     EISSN: 15732916     Source Type: Journal    
DOI: 10.1007/s10898-011-9682-5     Document Type: Article

References (11)

1. L.S. Buriol M.J. Hirsch P.M. Pardalos T. Querido M.G.C. Resende M. Ritt 2010 A biased random-key genetic algorithm for road congestion minimization Optim. Lett. 4 4 619 633 10.1007/s11590-010-0226-6
2. Pardalos P.M.; Romeijn E.: Handbook of global optimization-Volume 2. In: Pardalos, P.M.; Romeijn, E. (eds) Heuristic approaches, Kluwer, Dordrecht (2002)
3. Corno, F.; Cumani, G.; Reorda, M.S.; Squillero, G.: Fully automatic test program generation for microprocessor cores. Design, Automation and Test in Europe (DATE2003), pp. 1006-1011. Munich (2003)
4. Cheng, A.; Lim, C.C.: Multi-objective genetic algorithms for system-on-chips verification. In: Proceedings of First World Congress on Global Optimization in Engineering and Science (WCGO2009). Changsha, (2009)
5. Fogel D.B.: Evolutionary computation: toward a new philosophy of machine intelligence, 2nd edn. IEEE Press, New York (2000)
6. A.E. Nix M.D. Vose 1992 Modeling genetic algorithms with Markov chains Ann. Math. Artif. Intell. 5 79 88 10.1007/BF01530781
7. Mao, C. Y.; Hu, Y. H.: Convergence analyses of simulated evolution algorithms, design Automation of High Performance VLSI Systems (GLSV'694), pp. 30-33. Madison (1994)
8. D.J. Reaume E.H. Romeijn R.L. Smith 2001 Implementing pure adaptive search for global optimization using Markov chain sampling J. Glob. Optim. 20 1 33 47 10.1023/A:1011279301005 (Pubitemid 33672348)
9. W. Baritompa D.W. Bulger G.R. Wood 2007 Generating functions and the performance of backtracking adaptive search J. Glob. Optim. 37 2 159 175 10.1007/s10898-006-9042-z (Pubitemid 46066398)
10. Rechenberg I.: Evolution strategy: optimization of systems according to principles of the biological evolution. Frommann-Holzboog, Stuttgart (1973)
11. Grinstead C.M.; Snell J.L.: Introduction to probability, 2nd edn. American Mathematical Society, Providence (2006)