SPaC: A symbolic Pareto Calculator.

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

SPaC: A symbolic Pareto Calculator.

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Samenvatting

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-2	Engels
Titel	Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008
Plaats van productie	s.l.
Uitgeverij	Association for Computing Machinery, Inc
Pagina's	179-184
Status	Gepubliceerd - 2008

Citeer dit

@inproceedings{3f406ce40ae84f4e9a4c75acb8f754f8,

title = "SPaC: A symbolic Pareto Calculator.",

abstract = "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{\textregistered}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{\textregistered}ectively in Pareto optimization.",

author = "H. Shojaei and T. Basten and M.C.W. Geilen and P. Stanley-Marbell",

year = "2008",

language = "English",

pages = "179--184",

booktitle = "Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

SPaC: A symbolic Pareto Calculator. / Shojaei, H.; Basten, T.; Geilen, M.C.W. et al.
Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008. s.l.: Association for Computing Machinery, Inc, 2008. blz. 179-184.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - SPaC: A symbolic Pareto Calculator.

AU - Shojaei, H.

AU - Basten, T.

AU - Geilen, M.C.W.

AU - Stanley-Marbell, P.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 179

EP - 184

BT - Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008

PB - Association for Computing Machinery, Inc

CY - s.l.

ER -

SPaC: A symbolic Pareto Calculator.

Samenvatting

Vingerafdruk

Citeer dit