Semi-automatic synthesis of parameterized performance models for scientific programs
Building parameterized performance models of applications in an automatic way is difficult because of the large number of variables that affect performance, including architecture-dependent factors, algorithmic choices and input data parameters. In general, application performance is a non-convex an...
Main Author: | Marin, Gabriel |
---|---|
Other Authors: | Mellor-Crummey, John |
Format: | Others |
Language: | English |
Published: |
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/1911/17608 |
Similar Items
-
Automatic differentiation: Overview and application to systems of parameterized nonlinear equations
by: Rosemblun, Marcela Laura
Published: (2009) -
Automatic Verification of Parameterized Systems by Over-Approximation
by: Jahundovics, Vladislavs
Published: (2015) -
Wrapster : semi-automatic wrapper generation for semi-structured websites
by: Zaccak, Gabriel (Gabriel Gabra)
Published: (2008) -
Parameterized Systems : Generalizing and Simplifying Automatic Verification
by: Rezine, Ahmed
Published: (2008) -
Automatic synthesis of resource sharing concurrent programs
by: Buy, Ugo Alessandro
Published: (1990)