Sciweavers

14649 search results - page 2601 / 2930
» Principles of problem solving
Sort
View
RAID
2010
Springer
15 years 5 months ago
On Challenges in Evaluating Malware Clustering
Malware clustering and classification are important tools that enable analysts to prioritize their malware analysis efforts. The recent emergence of fully automated methods for ma...
Peng Li, Limin Liu, Debin Gao, Michael K. Reiter
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
15 years 5 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
SIAMCO
2010
128views more  SIAMCO 2010»
15 years 5 months ago
A Parallel Splitting Method for Coupled Monotone Inclusions
A parallel splitting method is proposed for solving systems of coupled monotone inclusions in Hilbert spaces, and its convergence is established under the assumption that solutions...
Hedy Attouch, Luis M. Briceño-Arias, Patric...
SIAMSC
2010
144views more  SIAMSC 2010»
15 years 5 months ago
A Fully Implicit Domain Decomposition Algorithm for Shallow Water Equations on the Cubed-Sphere
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
Chao Yang, Jianwen Cao, Xiao-Chuan Cai
SIAMSC
2010
141views more  SIAMSC 2010»
15 years 5 months ago
Blendenpik: Supercharging LAPACK's Least-Squares Solver
Abstract. Several innovative random-sampling and random-mixing techniques for solving problems in linear algebra have been proposed in the last decade, but they have not yet made a...
Haim Avron, Petar Maymounkov, Sivan Toledo
« Prev « First page 2601 / 2930 Last » Next »