3436 search results - page 435 / 688 » Software Tools for Performance Modeling of Parallel Programs |
112
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
115
click to vote
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We present an efficient optimization scheme for gate sizing in the presence of process variations. Using a posynomial delay model, the delay constraints are modified to incorporat...
117
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
107
Voted
SERP
2003
15 years 3 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
137
click to vote
TCAD
2008
15 years 2 months ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...