5235 search results - page 451 / 1047 » Analysis of Multithreaded Programs |
177
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we provide an algorithm that systematically considers all small trees in the search space of genetic programming. These small trees are used to generate useful subr...
188
click to vote
PASTE
2004
ACM
16 years 29 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
187
click to vote
PPDP
2001
Springer
15 years 12 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
202
click to vote
ECOOP
2000
Springer
15 years 12 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
214
click to vote
POPL
1999
ACM
15 years 12 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...