Sciweavers

12272 search results - page 48 / 2455
» Experimental program analysis
Sort
View
131
Voted
ICML
2007
IEEE
16 years 1 months ago
Discriminant kernel and regularization parameter learning via semidefinite programming
Regularized Kernel Discriminant Analysis (RKDA) performs linear discriminant analysis in the feature space via the kernel trick. The performance of RKDA depends on the selection o...
Jieping Ye, Jianhui Chen, Shuiwang Ji
86
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
Debugging through Evaluation Sequences: A Controlled Experimental Study
Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates betwee...
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse
106
Voted
WSC
2008
15 years 3 months ago
An experimental study of an iterative simulation-optimization algorithm for production planning
It is well known from queueing and simulation models that cycle times in capacitated production systems increase nonlinearly with resource utilization, which poses considerable di...
Durmus Fatih Irdem, Necip Baris Kacar, Reha Uzsoy
POPL
2003
ACM
16 years 29 days ago
Interprocedural compatibility analysis for static object preallocation
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. ...
202
Voted
POPL
2005
ACM
16 years 29 days ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula