Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems

Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors

Volumn , Issue , 2005, Pages 9-14

  Schlichter, Thomas ^a   Haubelt, Christian ^a   Hannig, Frank ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC DESIGN; CONVERGENCE SPEED; SPACE EXPLORATION;

ALGORITHMS; CONVERGENCE OF NUMERICAL METHODS; SPACE FLIGHT;

MULTIPROCESSING SYSTEMS;

EID: 24944456892     PISSN: 10636862     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASAP.2005.64     Document Type: Conference Paper

References (12)

1. A. H. Aguirre, S. B. Rionda, C. A. C. Coello, G. L. Lizárraga, and E. M. Montes. Handling Constraints using Multiobjective Optimization Concepts. International Journal for Numerical Methods in Engineering, 59(15): 1989-2017, Apr. 2004.
2. S. Bleuler, M. Laumanns, L. Thiele, and E. Zitzler. PISA - A Platform and Programming Language Independent Interface for Search Algorithms. In Lecture Notes in Computer Science (LNCS), volume 2632, pages 494-508, Faro, Protugal, Apr. 2003.
3. T. Buckle, J. Teich, and L. Thiele. System-Level Synthesis Using Evolutionary Algorithms. In R. Gupta, editor, Design Automation for Embedded Systems, 3, pages 23-62. Kluwer Academic Publishers, Boston, Jan. 1998.
4. K. Deb. Multi-Objective Optimization using Evolutionary Algorithms. John Wiley & Sons, Ltd., Chichester, New York, Weinheim, Brisbane, Singapore, Toronto, 2001.
5. R. P. Dick and N. K. Jha. MOGAC: A Multiobjective Genetic Algorithm for Hardware-Software Co-Synthesis of Distributed Embedded Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(10):920-935, Oct. 1998.
6. C. Haubelt, S. Mostaghim, F. Slomka, J. Teich, and A. Tyagi. Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms. In R. Drechsler and N. Drechsler, editors, Evolutionary Algorithms for Embedded System Design, Genetic Algorithms and Evolutionary Computation (GENA), pages 63-104. Kluwer Academic Publishers, Boston, Dordrecht, London, 2003.
7. C. Haubelt, J. Teich, R. Feldmann, and B. Monien. SAT-Based Techniques in System Design. In Proceedings of Design, Automation and Test in Europe, pages 1168-1169, Munich, Germany, Mar. 2003.
8. V. Kianzad and S. S. Bhattacharyya. CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems. In Proceedings of the 15th IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'04), pages 28-40, Galveston, U.S.A., Sept. 2004.
9. M. Laumanns. Analysis and Applications of Evolutionary Multiobjective Optimization Algorithms. PhD thesis, Eidgenössische Technische Hochschule Zürich, Aug. 2003.
10. C. Scholl, R. Drechsler, and B. Becker. Functional Simulation Using Binary Decision Diagrams. In Proceedings of the 1997 IEEE/ACM Int. Conference on Computer-Aided Design, pages 8-12, San Jose, USA, Nov. 1997.
11. E. Zitzler, M. Laumanns, and L. Thiele. SPEA2: Improving the Strength Pareto Evolutionary Algorithm for Multiobjective Optimization. In Evolutionary Methods for Design, Optimisation, and Control, pages 19-26, Barcelona, Spain, 2002.
12. E. Zitzler, L. Thiele, M. Laumanns, C. M. Fonseca, and V. Grunert da Fonseca. Performance Assessment of Multi-objective Optimizers: An Analysis and Review. IEEE Transactions on Evolutionary Computation, 7(2): 117-132, Apr. 2003.