2006 search results - page 293 / 402 » Heuristic Security-Testing Methods |
148
click to vote
PODS
2002
ACM
16 years 25 days ago
2002
ACM
We consider the fundamental operation of applying a conjunction of selection conditions to a set of records. With large main memories available cheaply, systems may choose to keep...
114
click to vote
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
117
Voted
CGO
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
107
Voted
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Existing methods place data or code in scratchpad memory, i.e., SPM by either relying on heuristics or resorting to integer programming or mapping it to a graph coloring problem. ...
108
Voted
CPAIOR
2005
Springer
15 years 6 months ago
2005
Springer
We describe the problem of scheduling astronomy observations for the Stratospheric Observatory for Infrared Astronomy, an airborne telescope. The problem requires maximizing the nu...