10899 search results - page 219 / 2180 » The GP Programming System |
146
Voted
CACM
2000
15 years 3 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...
143
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
131
Voted
EUROGP
2006
Springer
15 years 7 months ago
2006
Springer
This paper investigates the use of genetic programming in automatized synthesis of scheduling heuristics. The applied scheduling technique is priority scheduling, where the next st...
123
click to vote
LCR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
107
click to vote
BNCOD
2004
15 years 5 months ago
2004
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....