Sciweavers

644 search results - page 43 / 129
» An Experimental Chip to Evaluate Test Techniques: Experiment...
Sort
View
ICSE
2005
IEEE-ACM
15 years 12 months ago
A framework of greedy methods for constructing interaction test suites
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...
Charles J. Colbourn, Myra B. Cohen, Renée C...
PASTE
2005
ACM
15 years 5 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
TPDS
1998
98views more  TPDS 1998»
14 years 11 months ago
A Basic-Cycle Calculation Technique for Efficient Dynamic Data Redistribution
—Array redistribution is usually required to enhance algorithm performance in many parallel programs on distributed memory multicomputers. Since it is performed at run-time, ther...
Yeh-Ching Chung, Ching-Hsien Hsu, Sheng-Wen Bai
SIGIR
2008
ACM
14 years 11 months ago
Score standardization for inter-collection comparison of retrieval systems
The goal of system evaluation in information retrieval has always been to determine which of a set of systems is superior on a given collection. The tool used to determine system ...
William Webber, Alistair Moffat, Justin Zobel
FLAIRS
2006
15 years 1 months ago
Introducing GEMS - A Novel Technique for Ensemble Creation
The main contribution of this paper is to suggest a novel technique for automatic creation of accurate ensembles. The technique proposed, named GEMS, first trains a large number o...
Ulf Johansson, Tuve Löfström, Rikard K&o...