754 search results - page 68 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
150
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
126
click to vote
COMCOM
2004
15 years 4 months ago
2004
We demonstrate the benefits of traffic engineering by studying three realistic network models derived from an actual service provider network. We evaluate traffic engineering in t...
147
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
125
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
127
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...