4757 search results - page 161 / 952 » Generalized Posynomial Performance Modeling |
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
AIPS
2008
15 years 4 months ago
2008
In recent work we showed that models constructed from planner performance data over a large suite of benchmark problems are surprisingly accurate; 91-99% accuracy for success and ...
123
click to vote
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
124
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
101
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Social insects such as ants and bees perform complex tasks with pheromone communication despite lack of top-down style control. We have examined applications of this pheromone par...