3281 search results - page 556 / 657 » Bases for parametrized iterativity |
AFRIGRAPH
2007
ACM
15 years 5 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
CASES
2007
ACM
15 years 5 months ago
2007
ACM
This paper presents a new register assignment heuristic for procedures in SSA Form, whose interference graphs are chordal; the heuristic is called optimistic chordal coloring (OCC...
115
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
132
click to vote
LION
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Algorithm selection is typically based on models of algorithm performance learned during a separate offline training sequence, which can be prohibitively expensive. In r...