661 search results - page 68 / 133 » Argument Reduction by Factoring |
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Image transcoding proxies are used to improve Web browsing over low bandwidth networks by adapting content-rich web images to bandwidth-constrained clients. Such transcoding proxi...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
Technology scaling trends and the limitations of packaging and cooling have intensified the need for thermally efficient architectures and architecture-level temperature managem...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose a new metric for evaluation of interconnect architectures. This metric is computed by optimal assignment of wires from a given wire length distribution (WLD) to a given...
QSIC
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...