Sciweavers

4854 search results - page 57 / 971
» It's the Programming, Stupid
Sort
View
AAAI
1992
15 years 7 months ago
Automatic Programming of Robots Using Genetic Programming
The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...
John R. Koza, James Rice
ISCA
2006
IEEE
138views Hardware» more  ISCA 2006»
15 years 12 months ago
Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs
We present Program Demultiplexing (PD), an execution paradigm that creates concurrency in sequential programs by "demultiplexing" methods (functions or subroutines). Cal...
Saisanthosh Balakrishnan, Gurindar S. Sohi
MLMTA
2003
15 years 7 months ago
Guided Genetic Programming
This paper argues that genetic programming has not made good on its promise to generate computer programs automatically. It then describes an approach that would allow that promise...
Russ Abbott
CP
2008
Springer
15 years 7 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...
IPSN
2009
Springer
16 years 21 days ago
Archetype-based design: Sensor network programming for application experts, not just programming experts
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
Lan S. Bai, Robert P. Dick, Peter A. Dinda