Sciweavers

4719 search results - page 287 / 944
» Newtonian program analysis
Sort
View
PLDI
2004
ACM
15 years 11 months ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
PASTE
2010
ACM
15 years 8 months ago
Null dereference analysis in practice
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
Nathaniel Ayewah, William Pugh
CVPR
2003
IEEE
16 years 8 months ago
Simultaneous Feature Selection and Classifier Training via Linear Programming: A Case Study for Face Expression Recognition
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...
Guodong Guo, Charles R. Dyer
OSDI
2008
ACM
16 years 6 months ago
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
EUROGP
2009
Springer
132views Optimization» more  EUROGP 2009»
16 years 17 days ago
A Statistical Learning Perspective of Genetic Programming
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...
Nur Merve Amil, Nicolas Bredeche, Christian Gagn&e...