2797 search results - page 548 / 560 » Code query by example |
CCGRID
2010
IEEE
15 years 24 days ago
2010
IEEE
Fault tolerance will be a fundamental imperative in the next decade as machines containing hundreds of thousands of cores will be installed at various locations. In this context, ...
GECCO
2008
Springer
15 years 23 days ago
2008
Springer
The correct choice of an evolutionary algorithm, a genetic representation for the problem being solved (as well as their associated variation operators) and the appropriate values...
GECCO
2008
Springer
15 years 23 days ago
2008
Springer
Genetic-Based Machine Learning Systems (GBML) are comparable in accuracy with other learning methods. However, efficiency is a significant drawback. This paper presents a new rep...
130
click to vote
ICFP
2010
ACM
14 years 12 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
106
click to vote
CIE
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...