3342 search results - page 286 / 669 » Automating Abstract Interpretation |
138
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
124
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
138
click to vote
EVOW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
115
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose the use of programmable Grid resource partitioning heuristics in the context of a distributed service Grid management architecture. The architecture is capable...
132
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...