4155 search results - page 373 / 831 » External Memory Algorithms |
202
click to vote
ISMIS
2005
Springer
16 years 28 days ago
2005
Springer
We address the problem of loading transactional datasets into main memory and estimating the density of such datasets. We propose BoolLoader, an algorithm dedicated to these tasks;...
181
click to vote
TACAS
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
190
click to vote
DATE
2002
IEEE
16 years 12 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
185
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
210
click to vote
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
For applications with consecutive incoming training examples, on-line learning has the potential to achieve a likelihood as high as off-line learning without scanning all availabl...