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 |