Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems
Schlichter T, Hannig F, Haubelt C, Teich J (2005)
Publication Status: Published
Publication Type: Conference contribution, Conference Contribution
Publication year: 2005
Pages Range: 9-14
Conference Proceedings Title: Proceedings of Application-specific Systems, Architectures and Processors (ASAP)
Event location: Samos
ISBN: 0769524079
DOI: 10.1109/ASAP.2005.64
Abstract
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence speed. The main idea is to guide the search towards the feasible region by utilizing symbolic techniques. We will present experimental results showing the advantages of our novel approach, especially when the search space contains only few feasible solutions, what is often the case when designing heterogeneous multi-processor systems. © 2005 IEEE.
Authors with CRIS profile
Frank Hannig
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Christian Haubelt
Technische Fakultät
Jürgen Teich
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Related research project(s)
How to cite
APA:
Schlichter, T., Hannig, F., Haubelt, C., & Teich, J. (2005). Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems. In Proceedings of Application-specific Systems, Architectures and Processors (ASAP) (pp. 9-14). Samos, GR.
MLA:
Schlichter, Thomas, et al. "Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems." Proceedings of the IEEE 16th International Conference on Application-Specific Systems, Architectures, and Processors, ASAP 2005, Samos 2005. 9-14.
BibTeX: Download