1837 search results - page 216 / 368 » Abstraction and the C Machine Model |
143
click to vote
SIAMSC
2008
15 years 5 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
139
click to vote
NDSS
2007
IEEE
15 years 12 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
173
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Relationships are an essential part of the design of a database because they capture associations between things. Comparing and integrating relationships from heterogeneo...
169
click to vote
SIAMNUM
2010
15 years 10 days ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
158
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Systematic reviews address a specific clinical question by unbiasedly assessing and analyzing the pertinent literature. Citation screening is a time-consuming and crit...