4722 search results - page 413 / 945 » Representation-independent program analysis |
149
click to vote
ANOR
2002
15 years 6 months ago
2002
This paper presents an application of the integration between Geographical Information Systems (GIS) and Multi-Criteria Decision Analysis (MCDA) to aid spatial decisions. We presen...
145
click to vote
CSUR
1999
15 years 6 months ago
1999
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...
163
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
168
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
191
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...