The compositional computation of Pareto points in multi-dimen- sional optimization problems is an important means to e±ciently explore the optimization space. This paper presents a symbolic Pareto calculator, SPaC, for the algebraic computation of multi- dimensional trade-o®s. SPaC uses BDDs as a representation for solution sets and operations on them. The tool can be used in multi-criteria optimization and design-space exploration of em- bedded systems. The paper describes the design and implemen- tation of Pareto algebra operations, and it shows that BDDs can be used e®ectively in Pareto optimization.
|Title of host publication||Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008|
|Place of Publication||s.l.|
|Publisher||Association for Computing Machinery, Inc|
|Publication status||Published - 2008|