{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:41:43Z","timestamp":1725518503688},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540858621"},{"type":"electronic","value":"9783540858638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85863-8_54","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T14:33:54Z","timestamp":1221230034000},"page":"461-470","source":"Crossref","is-referenced-by-count":0,"title":["Evolving Machine Microprograms: Application to the CODE2 Microarchitecture"],"prefix":"10.1007","author":[{"given":"P. A.","family":"Castillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. J.","family":"Merelo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L.","family":"Bernier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L. J.","family":"Laredo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Garc\u00eda-S\u00e1nchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"54_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/MICRO.1990.151455","volume-title":"MICRO 23: Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture","author":"S.R. Das","year":"1990","unstructured":"Das, S.R., Nayak, A.R.: A survey on bit dimension optimization strategies of microprograms. In: MICRO 23: Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture, pp. 281\u2013291. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"54_CR2","volume-title":"Principles of firmware engineering","author":"M. Andrews","year":"1980","unstructured":"Andrews, M.: Principles of firmware engineering. Computer Science Press, Rockville (1980)"},{"key":"54_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/356551.356553","volume":"1","author":"M.V. Wilkes","year":"1969","unstructured":"Wilkes, M.V.: The growth of interest in microprogramming: a literature survey. ACM Computing Surveys\u00a01, 139\u2013145 (1969)","journal-title":"ACM Computing Surveys"},{"issue":"9","key":"54_CR4","first-page":"18","volume":"24","author":"J.L. Hennessy","year":"1991","unstructured":"Hennessy, J.L., Jouppi, N.P.: Computer Technology and Architecture: An Evolving Interaction\u00a024(9), 18\u201329 (1991)","journal-title":"Computer Technology and Architecture: An Evolving Interaction"},{"key":"54_CR5","unstructured":"Patterson, D.A., Hennessy, J.L.: Computer Organization and Design: The Hardware Software Interface, 2nd edn., San Francisco, California, EE, UU (1997)"},{"key":"54_CR6","unstructured":"Hennessy, J., Patterson, D.: Computer Architecture. A Quantitative Approach, 3rd edn., San Francisco, California, EE, UU (2003)"},{"key":"54_CR7","volume-title":"Computer Organization and Architecture: Designing for Performance","author":"W. Stallings","year":"2003","unstructured":"Stallings, W.: Computer Organization and Architecture: Designing for Performance, 6th edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"6"},{"key":"54_CR8","doi-asserted-by":"crossref","unstructured":"Miller, S., Srivas, M.: Formal verification of the AAMP5 microprocessor: A case study in the industrial use of formal methods. In: Proc. Workshop Ind.-Strength Formal Specif. Tech (WIFT 1995), Boca Raton, FL, pp. 2\u201316 (1995)","DOI":"10.1109\/WIFT.1995.515475"},{"key":"54_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-49519-3_21","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Greve","year":"1998","unstructured":"Greve, D.: Symbolic simulation of the JEM1 microprocessor. In: Gopalakrishnan, G.C., Windley, P. (eds.) FMCAD 1998. LNCS, vol.\u00a01522, pp. 321\u2013333. Springer, Heidelberg (1998)"},{"issue":"3","key":"54_CR10","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356819.356822","volume":"12","author":"D. Landskov","year":"1980","unstructured":"Landskov, D., Davidson, S., Shriver, B.D., Mallett, P.W.: Local Microcode Compaction Techniques. ACM Computing Surveys\u00a012(3), 261\u2013294 (1980)","journal-title":"ACM Computing Surveys"},{"key":"54_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1109\/MICRO.1990.151433","volume-title":"Proceedings of the 23rd Annual Workshop and Symposium, MICRO 23. Microprogramming and Microarchitecture","author":"S. Beaty","year":"1990","unstructured":"Beaty, S., Whitley, D., Johnson, G.: Motivation and framework for using genetic algorithms for microcode compaction. In: Proceedings of the 23rd Annual Workshop and Symposium, MICRO 23. Microprogramming and Microarchitecture, Number IEEE Cat. No. 90TH0341-8, Orlando, FL, pp. 117\u2013124. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"54_CR12","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1109\/T-C.1971.223347","volume":"C-20","author":"R.L. Kleir","year":"1971","unstructured":"Kleir, R.L., Ramamoorthy, C.V.: Optimization strategies for microprograms. IEEE Trans. Computers\u00a0C-20, 783\u2013794 (1971)","journal-title":"IEEE Trans. Computers"},{"key":"54_CR13","doi-asserted-by":"crossref","unstructured":"Tabendeh, M., Ramamoorthy, C.V.: Execution time (and memory) optimization in microprograms. In: 7th Annual Workshop on Microprogramming Preprints Supplement, pp. 19\u201327 (1974)","DOI":"10.1145\/800150.808831"},{"key":"54_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/4235.687879","volume":"1","author":"J.R. Koza","year":"1997","unstructured":"Koza, J.R., Bennett-III, F.H., Andre, D., Keane, M.A., Dunlap, F.: Automated synthesis of analog electrical circuits by means of genetic programming. IEEE Trans. Evol. Comput.\u00a01, 109\u2013128 (1997)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"54_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/4235.788489","volume":"3","author":"A. Thompson","year":"1999","unstructured":"Thompson, A., Layzell, P., Zebulum, R.S.: Explorations in design space: Unconventional electronics design through artificial evolution. IEEE Trans. Evol. Comput.\u00a03, 167\u2013196 (1999)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"54_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010016313373","volume":"1","author":"J.F. Miller","year":"2000","unstructured":"Miller, J.F., Job, D., Vassilev, V.K.: Principles in the evolutionary design of digital circuits Part I. Genetic Program. Evolvable Mach.\u00a01, 7\u201335 (2000)","journal-title":"Evolvable Mach."},{"key":"54_CR17","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1020163325179","volume":"3","author":"J. Torresen","year":"2002","unstructured":"Torresen, J.: A scalable approach to evolvable hardware. Genetic Program. Evolvable Mach.\u00a03, 259\u2013282 (2002)","journal-title":"Genetic Program. Evolvable Mach."},{"issue":"5","key":"54_CR18","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/s00500-003-0290-2","volume":"8","author":"T. Schnier","year":"2004","unstructured":"Schnier, T., Yao, X., Liu, P.: Digital filter design using multiple pareto fronts. Soft Comput.\u00a08(5), 332\u2013343 (2004)","journal-title":"Soft Comput."},{"key":"54_CR19","volume-title":"Genetic programming: On the programming of computers by means of natural selection","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.: Genetic programming: On the programming of computers by means of natural selection. MIT Press, Cambridge (1992)"},{"key":"54_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-48885-5_7","volume-title":"Genetic Programming","author":"M. O\u2019Neill","year":"1999","unstructured":"O\u2019Neill, M., Ryan, C.: Evolving multiline compilable C programs. In: Langdon, W.B., Fogarty, T.C., Nordin, P., Poli, R. (eds.) EuroGP 1999. LNCS, vol.\u00a01598, pp. 83\u201392. Springer, Heidelberg (1999)"},{"key":"54_CR21","first-page":"311","volume-title":"Advances in Genetic Programming","author":"P. Nordin","year":"1994","unstructured":"Nordin, P.: A compiling genetic programming system that directly manipulates the machine code. In: Kinnear Jr., K.E. (ed.) Advances in Genetic Programming, pp. 311\u2013331. MIT Press, Cambridge (1994)"},{"issue":"8","key":"54_CR22","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/0141-9331(96)82011-4","volume":"19","author":"I. Ahmad","year":"1995","unstructured":"Ahmad, I., Dhodhi, M.K., Saleh, K.A.: An evolutionary technique for local microcode compaction. Microprocess. Microsyst.\u00a019(8), 467\u2013474 (1995)","journal-title":"Microprocess. Microsyst."},{"key":"54_CR23","first-page":"275","volume-title":"Advances in Genetic Programming","author":"P. Nordin","year":"1999","unstructured":"Nordin, P., Banzhaf, W., Francone, F.D.: Efficient evolution of machine code for CISC architectures using instruction blocks and homologous crossover. In: Spector, L., et al. (eds.) Advances in Genetic Programming, vol.\u00a03, pp. 275\u2013299. MIT Press, Cambridge (1999)"},{"key":"54_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-45984-7_28","volume-title":"Genetic Programming","author":"F. Kuhling","year":"2002","unstructured":"Kuhling, F., Wolff, K., Nordin, P.: A brute-force approach to automatic induction of machine code on CISC architectures. In: Foster, J.A., Lutton, E., Miller, J., Ryan, C., Tettamanzi, A.G.B. (eds.) EuroGP 2002. LNCS, vol.\u00a02278, pp. 288\u2013297. Springer, Heidelberg (2002)"},{"key":"54_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/978-3-540-24650-3_30","volume-title":"Genetic Programming","author":"D. Jackson","year":"2004","unstructured":"Jackson, D.: Automatic synthesis of instruction decode logic by genetic programming. In: Keijzer, M., O\u2019Reilly, U.-M., Lucas, S.M., Costa, E., Soule, T. (eds.) EuroGP 2004. LNCS, vol.\u00a03003, pp. 318\u2013327. Springer, Heidelberg (2004)"},{"issue":"1","key":"54_CR26","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/TEVC.2004.837922","volume":"9","author":"D. Jackson","year":"2005","unstructured":"Jackson, D.: Evolution of processor microcode. IEEE Transactions On Evolutionary Computation\u00a09(1), 44\u201354 (2005)","journal-title":"IEEE Transactions On Evolutionary Computation"},{"key":"54_CR27","volume-title":"Structured Computer Organization","author":"A.S. Tanenbaum","year":"1990","unstructured":"Tanenbaum, A.S.: Structured Computer Organization, 3rd edn. Prentice-Hall, Englewood Cliffs (1990)","edition":"3"},{"issue":"1","key":"54_CR28","first-page":"17","volume":"2","author":"A. Prieto","year":"1990","unstructured":"Prieto, A., Pelayo, F., Lloris, A., Gomez-Mula, F.: Description and use of a simple didactic computer. EC Newsletter (Education in Computing Computers in Education)\u00a02(1), 17\u201329 (1990)","journal-title":"EC Newsletter (Education in Computing Computers in Education)"},{"key":"54_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05094-1","volume-title":"Introduction to Evolutionary Computing","author":"A. Eiben","year":"2003","unstructured":"Eiben, A., Smith, J.: Introduction to Evolutionary Computing. Springer, Heidelberg (2003)"},{"key":"54_CR30","unstructured":"Merelo, J.J.: Algorithm: Evolutionary (2006), \n                    \n                      http:\/\/opeal.sourceforge.net"},{"key":"54_CR31","unstructured":"Merelo, J.J.: Evolutionary computation in Perl. In: M\u00fcnich Perl Mongers, YAPC: Europe: 2002, 2\u201322 (2002)"},{"key":"54_CR32","first-page":"116","volume-title":"Proceedings of The Third International Conference on Genetic Algorithms","author":"D. Whitley","year":"1989","unstructured":"Whitley, D.: The GENITOR Algorithm and Selection Presure: Why rank-based allocation of reproductive trials is best. In: Schaffer, J.D. (ed.) Proceedings of The Third International Conference on Genetic Algorithms, pp. 116\u2013121. Morgan Kauffmann Publishers, San Francisco (1989)"},{"key":"54_CR33","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"J.R. Koza","year":"1994","unstructured":"Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, Cambridge (1994)"}],"container-title":["Advances in Soft Computing","International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008)"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85863-8_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:53:08Z","timestamp":1619524388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85863-8_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540858621","9783540858638"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85863-8_54","relation":{},"ISSN":["1615-3871","1860-0794"],"issn-type":[{"type":"print","value":"1615-3871"},{"type":"electronic","value":"1860-0794"}],"subject":[]}}