{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:31:22Z","timestamp":1743082282310,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":32,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401772662"},{"type":"electronic","value":"9789401772679"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-94-017-7267-9_8","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T09:54:06Z","timestamp":1506419646000},"page":"217-246","source":"Crossref","is-referenced-by-count":3,"title":["Hybrid Optimization Techniques for System-Level Design Space Exploration"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gla\u00df","sequence":"first","affiliation":[]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Lukasiewycz","sequence":"additional","affiliation":[]},{"given":"Felix","family":"Reimann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T Blickle","year":"1998","unstructured":"Blickle T, Teich J, Thiele L (1998) System-level synthesis using evolutionary algorithms. Des Autom Embed Syst 3(1):23\u201358","journal-title":"Des Autom Embed Syst"},{"issue":"11\u201312","key":"8_CR2","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1016\/S0045-7825(01)00323-1","volume":"191","author":"CA Coello Coello","year":"2002","unstructured":"Coello\u00a0Coello CA (2002) Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: a survey of the state of the art. Comput Methods Appl Mech Eng 191(11\u201312):1245\u20131287","journal-title":"Comput Methods Appl Mech Eng"},{"issue":"7","key":"8_CR3","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M Davis","year":"1962","unstructured":"Davis M, Logemann G, Loveland D (1962) A machine program for theorem-proving. Commun ACM 5(7):394\u2013397","journal-title":"Commun ACM"},{"issue":"9","key":"8_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L Moura De","year":"2011","unstructured":"De\u00a0Moura L, Bj\u00f8rner N (2011) Satisfiability modulo theories: introduction and applications. Commun ACM 54(9):69\u201377","journal-title":"Commun ACM"},{"issue":"12","key":"8_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/MC.1983.1654264","volume":"16","author":"DD Gajski","year":"1983","unstructured":"Gajski DD, Kuhn RH (1983) New VLSI tools. IEEE Comput 16(12):11\u201314","journal-title":"IEEE Comput"},{"issue":"10","key":"8_CR6","doi-asserted-by":"crossref","first-page":"1517","DOI":"10.1109\/TCAD.2009.2026356","volume":"28","author":"A Gerstlauer","year":"2009","unstructured":"Gerstlauer A, Haubelt C, Pimentel A, Stefanov T, Gajski D, Teich J (2009) Electronic system-level synthesis methodologies. IEEE Trans Comput Aided Des Integr Circuits Syst 28(10):1517\u20131530","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"8_CR7","unstructured":"Gla\u00df M, Lukasiewycz M, Reimann F, Haubelt C, Teich J (2010) Symbolic system level reliability analysis. In: Proceedings of the international conference on computer-aided design (ICCAD), San Jose, pp\u00a0185\u2013189"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Graf S, Gla\u00df M, Teich J, Lauer C (2014) Multi-variant-based design space exploration for automotive embedded systems. In: Proceedings of design, automation and test in Europe (DATE), p\u00a06","DOI":"10.7873\/DATE.2014.020"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Graf S, Gla\u00df M, Wintermann D, Teich J, Lauer C (2013) IVaM: implicit variant modeling and management for automotive embedded systems. In: Proceedings of the international conference on hardware\/software codesign and system synthesis (CODES+ISSS), p\u00a010","DOI":"10.1109\/CODES-ISSS.2013.6659011"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Graf S, Reimann F, Gla\u00df M, Teich J (2014) Towards scalable symbolic routing for multi-objective networked embedded system design and optimization. In: Proceedings of the international conference on hardware\/software codesign and system synthesis (CODES+ISSS), pp\u00a02:1\u20132:10","DOI":"10.1145\/2656075.2656102"},{"issue":"15","key":"8_CR11","doi-asserted-by":"crossref","first-page":"1989","DOI":"10.1002\/nme.947","volume":"59","author":"A Hernandez-Aguirre","year":"2004","unstructured":"Hernandez-Aguirre A, Botello-Rionda S, Coello\u00a0Coello CA, Lizarraga-Lizarraga G, Mezura-Montes E (2004) Handling constraints using multiobjective optimization concepts. Int J Numer Methods Eng 59(15):1989\u20132017","journal-title":"Int J Numer Methods Eng"},{"key":"8_CR12","unstructured":"Kienhuis ACJ (1999) Design space exploration of stream-based dataflow architectures \u2013 methods and tools. Ph.D. thesis, Delft University of Technology"},{"key":"8_CR13","first-page":"59","volume":"7","author":"D Berre Le","year":"2010","unstructured":"Le\u00a0Berre D, Parrain A (2010) The Sat4J library, release 2.2. system description. J Satisf Boolean Model Comput 7:59\u201364","journal-title":"J Satisf Boolean Model Comput"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Chakraborty S (2012) Concurrent architecture and schedule optimization of time-triggered automotive systems. In: Proceedings of the international conference on hardware\/software codesign and system synthesis (CODES+ISSS), pp\u00a0383\u2013392","DOI":"10.1145\/2380445.2380506"},{"key":"8_CR15","unstructured":"Lukasiewycz M, Gla\u00df M, Haubelt C, Teich J (2007) Solving multiobjective Pseudo-Boolean problems. In: Proceedings of the international conference on theory and applications of satisfiability testing (SAT), pp\u00a056\u201369"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Gla\u00df M, Haubelt C, Teich J (2008) Efficient symbolic multi\u2013objective design space exploration. In: Proceedings of the Asia and South Pacific design automation conference (ASPDAC), Seoul, pp\u00a0691\u2013696","DOI":"10.1109\/ASPDAC.2008.4484040"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Gla\u00df M, Haubelt C, Teich J, Regler R, Lang B (2008) Concurrent topology and routing optimization in automotive network integration. In: Proceedings of the design automation conference (DAC), Anaheim, pp\u00a0626\u2013629","DOI":"10.1145\/1391469.1391629"},{"key":"8_CR18","unstructured":"Lukasiewycz M, Gla\u00df M, Reimann F Opt4J\u2013meta-heuristic optimization framework for java. http:\/\/www.opt4j.org\/"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Gla\u00df M, Reimann F, Teich J (2011) Opt4J: a modular framework for meta-heuristic optimization. In: Proceedings of the genetic and evolutionary computation conference (GECCO), pp\u00a01723\u20131730","DOI":"10.1145\/2001576.2001808"},{"key":"8_CR20","unstructured":"Lukasiewycz M, Reimann F OpenDSE\u2013open design space exploration framework. http:\/\/opendse.sourceforge.net\/"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Streub\u00fchr M, Gla\u00df M, Haubelt C, Teich J (2009) Combined system synthesis and communication architecture exploration for MPSoCs. In: Proceedings of design, automation and test in Europe (DATE), pp\u00a0472\u2013477","DOI":"10.1109\/DATE.2009.5090711"},{"issue":"4","key":"8_CR22","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/0743-7315(92)90017-H","volume":"16","author":"S Prakash","year":"1992","unstructured":"Prakash S, Parker AC (1992) SOS: synthesis of application-specific heterogeneous multiprocessor systems. J Parallel Distrib Comput 16(4):338\u2013351","journal-title":"J Parallel Distrib Comput"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Puchinger J, Raidl G (2005) Combining metaheuristics and exact algorithms in combinatorial optimization: a survey and classification. In: Proceedings of the first international work-conference on the interplay between natural and artificial computation (IWINAC), vol\u00a03562, pp\u00a041\u201353","DOI":"10.1007\/11499305_5"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Reimann F, Gla\u00df M, Haubelt C, Eberl M, Teich J (2010) Improving platform-based system synthesis by satisfiability modulo theories solving. In: Proceedings of the international conference on hardware\/software codesign and system synthesis (CODES+ISSS), pp\u00a0135\u2013144","DOI":"10.1145\/1878961.1878986"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Reimann F, Gla\u00df M, Teich J, Cook A, G\u00f3mez LR, Ull D, Wunderlich HJ, Abelein U, Engelke P (2014) Advanced diagnosis: SBST and BIST integration in automotive E\/E architectures. In: Proceedings of the design automation conference (DAC), p\u00a08","DOI":"10.1145\/2593069.2602971"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Reimann F, Lukasiewycz M, Gla\u00df M, Haubelt C, Teich J (2011) Symbolic system synthesis in the presence of stringent real-time constraints. In: Proceedings of the design automation conference (DAC), pp\u00a0393\u2013398","DOI":"10.1145\/2024724.2024817"},{"key":"8_CR27","unstructured":"Smith AE, Coit DW (1997) Penalty functions, chap. C 5.2. Institute of Physics Publishing and Oxford University Press, Bristol"},{"issue":"5","key":"8_CR28","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1109\/JPROC.2011.2182009","volume":"100","author":"J Teich","year":"2012","unstructured":"Teich J (2012) Hardware\/software co-design: past, present, and predicting the future. Proc IEEE 100(5):1411\u20131430","journal-title":"Proc IEEE"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Teich J, Blickle T, Thiele L (1997) An evolutionary approach to system-level synthesis. In: Proceedings of the international workshop on hardware\/software codesign (CODES\/CASHE), pp\u00a0167\u2013171","DOI":"10.1109\/HSC.1997.584597"},{"key":"8_CR30","volume-title":"Digitale hardware\/software-systeme: synthese und optimierung","author":"J Teich","year":"2007","unstructured":"Teich J, Haubelt C (2007) Digitale hardware\/software-systeme: synthese und optimierung, 2nd edn. Springer, Heidelberg","edition":"2"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Weichslgartner A, Gangadharan D, Wildermann S, Gla\u00df M, Teich J (2014) DAARM: design-time application analysis and run-time mapping for predictable execution in many-core systems. In: Proceedings of the international conference on hardware\/software codesign and system synthesis (CODES+ISSS), pp\u00a034:1\u201334:10","DOI":"10.1145\/2656075.2656083"},{"issue":"4","key":"8_CR32","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/4235.797969","volume":"3","author":"E Zitzler","year":"1999","unstructured":"Zitzler E, Thiele L (1999) Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach. IEEE Trans Evol Comput 3(4):257\u2013271","journal-title":"IEEE Trans Evol Comput"}],"container-title":["Handbook of Hardware\/Software Codesign"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-7267-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T20:07:31Z","timestamp":1570133251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-7267-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789401772662","9789401772679"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-7267-9_8","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}