Towards automatic building of performance models: Formal specification of performance constraints.

Ken Jackson, Albert Llamosi, Ramn Puigjaner

Browse the full SEKE paper archive.