26354 search results - page 5198 / 5271 » How we refactor, and how we know it |
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
126
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
138
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
101
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
116
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...