Hybrid Optimization Techniques for System-Level Design Space Exploration

[1]  Michael Glaß,et al.  Towards scalable symbolic routing for multi-objective networked embedded system design and optimization , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[2]  Michael Glaß,et al.  DAARM: Design-time application analysis and run-time mapping for predictable execution in many-core systems , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[3]  Michael Glaß,et al.  Advanced diagnosis: SBST and BIST integration in automotive E/E architectures , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[4]  Michael Glaß,et al.  Multi-variant-based design space exploration for automotive embedded systems , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Michael Glaß,et al.  IVaM: Implicit variant modeling and management for automotive embedded systems , 2013, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[6]  Martin Lukasiewycz,et al.  Concurrent architecture and schedule optimization of time-triggered automotive systems , 2012, CODES+ISSS '12.

[7]  Jürgen Teich,et al.  Hardware/Software Codesign: The Past, the Present, and Predicting the Future , 2012, Proceedings of the IEEE.

[8]  Nikolaj Bjørner,et al.  Satisfiability modulo theories , 2011, Commun. ACM.

[9]  Martin Lukasiewycz,et al.  Opt4J: a modular framework for meta-heuristic optimization , 2011, GECCO '11.

[10]  Martin Lukasiewycz,et al.  Symbolic system synthesis in the presence of stringent real-time constraints , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[11]  Martin Lukasiewycz,et al.  Symbolic system level reliability analysis , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[12]  Michael Glaß,et al.  Improving platform-based system synthesis by satisfiability modulo theories solving , 2010, 2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[13]  Daniel Le Berre,et al.  The Sat4j library, release 2.2 , 2010, J. Satisf. Boolean Model. Comput..

[14]  Christian Haubelt,et al.  Electronic System-Level Synthesis Methodologies , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[15]  Martin Lukasiewycz,et al.  Combined system synthesis and communication architecture exploration for MPSoCs , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[16]  Martin Lukasiewycz,et al.  Concurrent topology and routing optimization in automotive network integration , 2008, 2008 45th ACM/IEEE Design Automation Conference.

[17]  Martin Lukasiewycz,et al.  Efficient symbolic multi-objective design space exploration , 2008, 2008 Asia and South Pacific Design Automation Conference.

[18]  Martin Lukasiewycz,et al.  Solving Multi-objective Pseudo-Boolean Problems , 2007, SAT.

[19]  Christian Haubelt,et al.  Digitale Hardware/Software-Systeme: Synthese und Optimierung, 2. Auflage , 2007, eXamen.press.

[20]  Günther R. Raidl,et al.  Combining Metaheuristics and Exact Algorithms in Combinatorial Optimization: A Survey and Classification , 2005, IWINAC.

[21]  Carlos A. Coello Coello,et al.  Handling constraints using multiobjective optimization concepts , 2004 .

[22]  Carlos A. Coello Coello,et al.  THEORETICAL AND NUMERICAL CONSTRAINT-HANDLING TECHNIQUES USED WITH EVOLUTIONARY ALGORITHMS: A SURVEY OF THE STATE OF THE ART , 2002 .

[23]  Lothar Thiele,et al.  Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach , 1999, IEEE Trans. Evol. Comput..

[24]  Jürgen Teich,et al.  System-Level Synthesis Using Evolutionary Algorithms , 1998, Des. Autom. Embed. Syst..

[25]  Jürgen Teich,et al.  An evolutionary approach to system-level synthesis , 1997, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97.

[26]  Alice C. Parker,et al.  SOS: Synthesis of application-specific heterogeneous multiprocessor systems , 2001, J. Parallel Distributed Comput..

[27]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.