Sciweavers

3136 search results - page 403 / 628
» Comparison of Clique-Listing Algorithms
Sort
View
ACL2
2006
ACM
16 years 17 days ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
ACMSE
2006
ACM
16 years 17 days ago
Using visual attention to extract regions of interest in the context of image retrieval
Recent research on computational modeling of visual attention has demonstrated that a bottom-up approach to identifying salient regions within an image can be applied to diverse a...
Oge Marques, Liam M. Mayron, Gustavo B. Borba, Hum...
DAC
2006
ACM
16 years 17 days ago
DFM: where's the proof of value?
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...
Shishpal Rawat, Raul Camposano, A. Kahng, Joseph S...
ISPD
2006
ACM
68views Hardware» more  ISPD 2006»
16 years 17 days ago
Solving hard instances of floorplacement
Physical Design of modern systems on chip is extremely challenging. Such digital integrated circuits often contain tens of millions of logic gates, intellectual property blocks, e...
Aaron N. Ng, Igor L. Markov, Rajat Aggarwal, Venky...
ISSTA
2006
ACM
16 years 17 days ago
Integrating customized test requirements with traditional requirements in web application testing
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lor...