6960 search results - page 550 / 1392 » Continuity Analysis of Programs |
180
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
172
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...
183
click to vote
PASTE
2004
ACM
16 years 18 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...
180
click to vote
PPDP
2001
Springer
15 years 11 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...
196
click to vote
ECOOP
2000
Springer
15 years 11 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...