2957 search results - page 51 / 592 » Code analysis and CS-XML |
DCC
1991
IEEE
14 years 1 months ago
1991
IEEE
WCET
2007
13 years 11 months ago
2007
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
The crossover bias theory for bloat [18] is a recent result which predicts that bloat is caused by the sampling of short, unfit programs. This theory is clear and simple, but it ...
FMICS
2010
Springer
13 years 10 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
IEE
2008
13 years 9 months ago
2008