Sciweavers

4719 search results - page 105 / 944
» Newtonian program analysis
Sort
View
153
Voted
LPAR
1993
Springer
15 years 11 months ago
Sequentialization of Parallel Logic Programs with Mode Analysis
Barton C. Massey, Evan Tick
HOTOS
2007
IEEE
15 years 11 months ago
Beyond Bug-Finding: Sound Program Analysis for Linux
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit...
150
Voted
GECCO
2006
Springer
109views Optimization» more  GECCO 2006»
15 years 11 months ago
Robustness analysis of genetic programming controllers for unmanned aerial vehicles
Gregory J. Barlow, Choong K. Oh