Sciweavers

Share
CODES
2008
IEEE

SPaC: a symbolic pareto calculator

9 years 7 months ago
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]:
Hamid Shojaei, Twan Basten, Marc Geilen, Phillip S
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where CODES
Authors Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell
Comments (0)
books