Sciweavers

729 search results - page 129 / 146
» Using Metrics to Improve Software Testing
Sort
View
ICCV
2011
IEEE
13 years 26 days ago
Segmentation as Selective Search for Object Recognition
Software available at http://disi.unitn.it/~uijlings or http://koen.me/research/ For object recognition, the current state-of-the-art is based on exhaustive search. However, to ...
K van de Sande, J Uijlings, T Gevers, A Smeulders
SIGSOFT
2002
ACM
14 years 11 months ago
Invariant inference for static checking
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
Jeremy W. Nimmer, Michael D. Ernst
SIGMETRICS
2010
ACM
143views Hardware» more  SIGMETRICS 2010»
14 years 3 months ago
Practical performance models for complex, popular applications
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
Eno Thereska, Bjoern Doebel, Alice X. Zheng, Peter...
CASES
2006
ACM
14 years 4 months ago
Limitations of special-purpose instructions for similarity measurements in media SIMD extensions
Microprocessor vendors have provided special-purpose instructions such as psadbw and pdist to accelerate the sumof-absolute differences (SAD) similarity measurement. The usefulne...
Asadollah Shahbahrami, Ben H. H. Juurlink, Stamati...
HIPEAC
2009
Springer
14 years 5 months ago
Collective Optimization
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...
Grigori Fursin, Olivier Temam