31 search results - page 5 / 7 » A general Mitchell style iteration |
SAC
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
ISSS
2002
IEEE
14 years 11 days ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
ACMIDC
2010
13 years 11 months ago
2010
This paper discusses design iterations of Mobile Stories – a mobile technology that empowers children to collaboratively read and create stories. We present the design and discu...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
ISPD
2005
ACM
14 years 1 months ago
2005
ACM
As thermal problems become more evident, new physical design paradigms and tools are needed to alleviate them. Incorporating thermal vias into integrated circuits (ICs) is a promi...