Abstract
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.
Original language | English |
---|---|
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 |
Pages | 179-184 |
Publication status | Published - 2008 |