6939 search results - page 968 / 1388 » Algorithm Engineering for Parallel Computation |
188
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
180
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
295
click to vote
SIAMJO
2011
15 years 1 months ago
2011
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...
183
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
196
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...