SPaC: A symbolic Pareto Calculator.

H. Shojaei, T. Basten, M.C.W. Geilen, P. Stanley-Marbell

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)


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.
Originele taal-2Engels
TitelProceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008
Plaats van producties.l.
UitgeverijAssociation for Computing Machinery, Inc
StatusGepubliceerd - 2008

Vingerafdruk Duik in de onderzoeksthema's van 'SPaC: A symbolic Pareto Calculator.'. Samen vormen ze een unieke vingerafdruk.

Citeer dit