Sciweavers

1079 search results - page 79 / 216
» Predictive testing: amplifying the effectiveness of software...
Sort
View
CBMS
2004
IEEE
15 years 1 months ago
Toward a Systems Biology Software Toolkit
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
Donald J. Johann, Michael D. McGuigan, Stanimire T...
POPL
2012
ACM
13 years 5 months ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...
BMCBI
2005
78views more  BMCBI 2005»
14 years 9 months ago
PREP-Mt: predictive RNA editor for plant mitochondrial genes
Background: In plants, RNA editing is a process that converts specific cytidines to uridines and uridines to cytidines in transcripts from virtually all mitochondrial protein-codi...
Jeffrey P. Mower
PAKDD
2005
ACM
128views Data Mining» more  PAKDD 2005»
15 years 3 months ago
A Framework for Incorporating Class Priors into Discriminative Classification
Abstract. Discriminative and generative methods provide two distinct approaches to machine learning classification. One advantage of generative approaches is that they naturally mo...
Rong Jin, Yi Liu
SIGSOFT
2010
ACM
14 years 7 months ago
A trace simplification technique for effective debugging of concurrent programs
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
Nicholas Jalbert, Koushik Sen