4725 search results - page 712 / 945 » Dependence-Based Program Analysis |
139
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
128
Voted
SIGDOC
2003
ACM
15 years 10 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
137
Voted
FPL
2003
Springer
15 years 10 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
113
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
151
click to vote
GPCE
2003
Springer
15 years 10 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...