Sciweavers

8096 search results - page 160 / 1620
» Distributed performance testing using statistical modeling
Sort
View
DAC
2002
ACM
14 years 9 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
EACL
2003
ACL Anthology
13 years 9 months ago
Bootstrapping statistical parsers from small datasets
We present a practical co-training method for bootstrapping statistical parsers using a small amount of manually parsed training material and a much larger pool of raw sentences. ...
Mark Steedman, Anoop Sarkar, Miles Osborne, Rebecc...
ICMT
2009
Springer
14 years 2 months ago
Automatic Model Generation Strategies for Model Transformation Testing
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
IJDMB
2008
128views more  IJDMB 2008»
13 years 8 months ago
Protein homology detection with biologically inspired features and interpretable statistical models
: Computational classification of proteins using methods such as string kernels and Fisher-SVM has demonstrated great success. However, the resulting models do not offer an immedia...
Pai-Hsi Huang, Vladimir Pavlovic
ICS
2010
Tsinghua U.
13 years 6 months ago
Decomposable and responsive power models for multicore processors using performance counters
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
Ramon Bertran, Marc González, Xavier Martor...