Sciweavers

741 search results - page 19 / 149
» Memory Dependence Prediction Using Store Sets
Sort
View
EUROPAR
2004
Springer
15 years 7 months ago
Load and Memory Balanced Mesh Partitioning for a Parallel Envelope Method
Abstract. We use a parallel direct solver based on the Schur complement method for solving large sparse linear systems arising from the finite element method. A domain decompositi...
Ondrej Medek, Pavel Tvrdík, Jaroslav Kruis
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
15 years 8 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...
ESAS
2005
Springer
15 years 7 months ago
An Advanced Method for Joint Scalar Multiplications on Memory Constraint Devices
Abstract. One of the most frequent operations in modern cryptosystems is a multi-scalar multiplication with two scalars. Common methods to compute it are the Shamir method and the ...
Erik Dahmen, Katsuyuki Okeya, Tsuyoshi Takagi
CORR
2010
Springer
320views Education» more  CORR 2010»
15 years 1 months ago
An algorithm for the principal component analysis of large data sets
Recently popularized randomized methods for principal component analysis (PCA) efficiently and reliably produce nearly optimal accuracy -- even on parallel processors -- unlike the...
Nathan Halko, Per-Gunnar Martinsson, Yoel Shkolnis...
113
Voted
ICIP
2000
IEEE
16 years 3 months ago
Statistical Threshold Design for the Two-State Signal-Dependent Rank Order Mean Filter
The signal-dependent rank order mean (SD-ROM) ?lter is effective at removing high levels of impulse noise from 2D scalar-valued signals. Excellent results have been presented for ...
Michael S. Moore, Sanjit K. Mitra