4719 search results - page 104 / 944 » Spreadsheet functional programming |
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Spector et al. have shown [1],[2],[3] that genetic programming can be used to evolve quantum circuits. In this paper, we present new results in this field, introducing p...
107
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
110
Voted
DMSN
2004
ACM
15 years 6 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
72
Voted
JSYML
2000
15 years 15 days ago
2000
We show that to every recursive total continuous functional there is a representative of in the hierearchy of partial continuous functionals such that is S1 - S9 computable ov...
106
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...