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 multidimensional 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. Categories and Subject Descriptors C.3 [Special-purpose and Application-based Systems]:

• Type: Conference
• Year: 2008
• Where: CODES
• Authors: Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell
• Keywords: CODES 2008, Hardware-Software Codesign, Pareto Algebra Operations, Pareto Points, Symbolic Pareto Calculator