2335 search results - page 224 / 467 » Functional Differentiation of Computer Programs |
185
Voted
GIS
2006
ACM
16 years 1 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
114
Voted
ENTCS
2008
15 years 17 days ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
109
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
130
Voted
BMCBI
2007
15 years 16 days ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
ICDCSW
2002
IEEE
15 years 5 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...