SPaC: A symbolic Pareto Calculator.

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (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.
Original languageEnglish
Title of host publicationProceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008
Place of Publications.l.
PublisherAssociation for Computing Machinery, Inc
Publication statusPublished - 2008


Dive into the research topics of 'SPaC: A symbolic Pareto Calculator.'. Together they form a unique fingerprint.

Cite this