Sciweavers

8689 search results - page 252 / 1738
» Software: hard data
Sort
View
ICDE
2007
IEEE
133views Database» more  ICDE 2007»
16 years 8 months ago
Programming Patterns for Architecture-Level Software Optimizations on Frequent Pattern Mining
One very important application in the data mining domain is frequent pattern mining. Various authors have worked on improving the efficiency of this computation, mostly focusing o...
Mingliang Wei, Changhao Jiang, Marc Snir
SSDBM
2008
IEEE
177views Database» more  SSDBM 2008»
16 years 1 months ago
ELKI: A Software System for Evaluation of Subspace Clustering Algorithms
In order to establish consolidated standards in novel data mining areas, newly proposed algorithms need to be evaluated thoroughly. Many publications compare a new proposition – ...
Elke Achtert, Hans-Peter Kriegel, Arthur Zimek
ICARIS
2007
Springer
16 years 23 days ago
Immune and Evolutionary Approaches to Software Mutation Testing
We present an Immune Inspired Algorithm, based on CLONALG, for software test data evolution. Generated tests are evaluated using the mutation testing adequacy criteria, and used to...
Peter May, Jon Timmis, Keith Mander
ESOP
2003
Springer
15 years 11 months ago
Automatic Software Model Checking Using CLP
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
Cormac Flanagan
ICPP
1996
IEEE
15 years 10 months ago
MpPVM: A Software System for Non-Dedicated Heterogeneous Computing
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
Kasidit Chanchio, Xian-He Sun