SPaC: A Symbolic Pareto Calculator
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently
explore the optimization space. This paper presents a symbolic
Pareto calculator, SPaC, for the algebraic computation of multi-
dimensional trade-offs. 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 embedded systems. The paper describes the design and implementation of Pareto algebra operations, and it shows that BDDs can
be used effectively in Pareto optimization.
-
SPaC: A Symbolic Pareto Calculator
H. Shojaei, T. Basten, M.C.W. Geilen, P. Stanley-Marbell.
In C. Gebotys and G. Martin, editors, Hardware-Software Codesign and System Synthesis, 6th IEEE/ACM International Conference, CODES+ISSS 2008, Proceedings, pages 179-184. Atlanta, Georgia, USA, 19-24 October, 2008. ACM, 2008. (abstract, pdf).
|
