Multi-criteria optimization for mapping programs to multi-processors

SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings

Volumn , Issue , 2011, Pages 9-17

  Cotton, Scott ^a   Maler, Oded ^a   Legriel, Julien ^b   Saidi, Selma ^b  

^a VERIMAG   (France)

^b STMICROELECTRONICS   (France)

Author keywords

Mapping; Multi criteria optimization; SMT solvers

Indexed keywords

COLOR FILTERING; COMMUNICATION COST; COMPUTATION TIME; CONSTRAINT SOLVERS; DESIGN SPACES; MAPPING APPLICATIONS; MAPPING PROBLEM; MULTI-PROCESSORS; MULTICORE ENVIRONMENTS; MULTICRITERIA OPTIMIZATION; PARETO OPTIMAL SOLUTIONS; PARETO-OPTIMAL; QUERY STRATEGIES; SEARCH SPACES; SYNTHETIC BENCHMARK;

BENCHMARKING; EMBEDDED SYSTEMS; INDUSTRIAL APPLICATIONS; INDUSTRY; MAPPING; OPTIMIZATION;

MULTICORE PROGRAMMING;

EID: 80051988065     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2011.5953650     Document Type: Conference Paper

References (30)

1. L. Benini, D. Bertozzi, A. Guerri, and M. Milano. Allocation and scheduling for MPSoCs via decomposition and no-good generation. Principles and Practice of Constraint Programming-CP'05, pages 107-121, 2005.
2. J.J. Berenguer, N. Coste, I. De Poy Alonso, G. Desoli, E. Lantreibecq, J. Legriel, and G. Richard. xSTream: Architecture multi-coeur sur puce pour des applications multimedia. http://www.inrialpes.fr/vasy/ multival/documents/ xstream-2009.pdf, 2009.
3. A. Bender. MILP based task mapping for heterogeneous multiprocessor systems. In Euro-DAC'96, page 197, 1996.
4. Ian Buck, Tim Foley, Daniel Horn, Jeremy Sugerman, Kayvon Fatahalian, Mike Houston, and Pat Hanrahan. Brook for GPUs: stream computing on graphics hardware. In SIGGRAPH '04, pages 777-786. ACM, 2004.
5. Sebastien Le Beux, Gabriela Nicolescu, Guy Bois, Youcef Bouchebaba, Michel Langevin, and Pierre Paulin. Optimizing configuration and application mapping for mpsoc architectures. In Adaptive Hardware and Systems, NASA/ESA Conference on, pages 474- 481. IEEE Computer Society, 2009.
6. M. Coppola, R. Locatelli, G. Maruccia, L. Pieralisi, and A. Scandurra. Spidergon: a novel on-chip communication network. In System-on-Chip, 2004.
7. B. Dutertre and L.M. de Moura. A fast lineararithmetic solver for DPLL(T). In CAV, pages 81-94, 2006. 16
8. K. Deb. Multi-objective optimization using evolutionary algorithms. Wiley, 2001.
9. M. Davis, G. Logemann, and D. Loveland. A machine program for theorem-proving. Communications of the ACM, 5(7):394-397, 1962.
10. Leonardo de Moura and Nikolaj Bjørner. Z3: An efficient smt solver. In TACAS'08, volume LNCS 4963, pages 337-340, 2008.
11. Robert P. Dick, David L. Rhodes, and Wayne Wolf. TGFF: Task graphs for free, 1998.
12. Cagkan Erbas, Selin C. Erbas, and Andy D. Pimentel. A multiobjective optimization model for exploring multiprocessor mappings of process networks. In CODES+ISSS'03, pages 182-187. ACM, 2003.
13. M. Ehrgott. Multicriteria optimization. Springer Verlag, 2005.
14. C.P. Fenimore, J.M. Libert, and P. Roitman. Mosquito noise in MPEG-compressed video: test patterns and metrics. In Proceedings of SPIE, pages 604-612, 2000.
15. Holger H. Hoos and Thomas Stützle. Stochastic Local Search: Foundations & Application. Morgan Kaufmann, September 2004.
16. Simon Künzli, Lothar Thiele, and Eckart Zitzler. Multi-criteria decision making in embedded system design. In System-on-Chip: Next Generation Electronics, pages 3-28. 2006.
17. Julien Legriel, Colas Le Guernic, Scott Cotton, and Oded Maler. Approximating the pareto front of multicriteria optimization problems. In TACAS, pages 69- 83, 2010.
18. Edward A. Lee and David G. Messerschmitt. Synchronous data flow. In Proceedings of the IEEE, volume 75(9), pages 1235-1245, September 1987.
19. J. Legriel and O. Maler. Meeting deadlines cheaply. Technical report, Verimag, 2010.
20. W. Liu, M. Yuan, X. He, Z. Gu, and X. Liu. Efficient SAT-based mapping and scheduling of homogeneous synchronous dataflow graphs for throughput optimization. In RTSS'08, pages 492-504. IEEE, 2008.
21. R.T. Marler and J.S. Arora. Survey of multi-objective optimization methods for engineering. Structural and multidisciplinary optimization, 26(6):369-395, 2004.
22. M. Ruggiero, A. Guerri, D. Bertozzi, F. Poletti, and M. Milano. Communication-aware allocation and scheduling framework for stream-oriented multiprocessor systems-on-chip. In DATE'06, pages 3-8, 2006.
23. T. Schlichter, M. Lukasiewycz, C. Haubelt, and J. Teich. Improving system level design space exploration by incorporating sat-solvers into multi-objective evolutionary algorithms. In Emerging VLSI Technologies and Architectures, 2006, page 6. IEEE, 2006.
24. Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid, and Kai Huang. Mapping applications to tiled multiprocessor embedded systems. In ACSD'07, pages 29- 40, Bratislava, Slovak Republic, 2007. IEEE Computer Society.
25. William Thies, Michal Karczmarek, and Saman P. Amarasinghe. Streamit: A language for streaming applications. In CC '02, pages 179-196, 2002.
26. Y. Yi, W. Han, X. Zhao, A.T. Erdogan, and T. Arslan. An ILP formulation for task mapping and scheduling on multi-core architectures. In DATE'09., pages 33- 38. IEEE, 2009.
27. E. Zitzler, J. Knowles, and L. Thiele. Quality assessment of pareto set approximations. Multiobjective Optimization, pages 373-404, 2008.
28. Eckart Zitzler, Marco Laumanns, and Lothar Thiele. Spea2: Improving the strength pareto evolutionary algorithm for multiobjective optimization. In Evolutionary Methods for Design, Optimisation, and Control, pages 95-100, 2002.
29. L. Zhang and S. Malik. The quest for efficient boolean satisfiability solvers. In Computer Aided Verification, pages 641-653. Springer, 2002.
30. E. Zitzler and L. Thiele. Multiobjective evolutionary algorithms: A comparative case study and the strength pareto approach. In IEEE transactions on Evolutionary Computation, volume 3(4), pages 257-271, 1999. (Pubitemid 30544879)