Sciweavers

28888 search results - page 372 / 5778
» Computability and complexity in analysis
Sort
View
152
Voted
OOPSLA
2010
Springer
15 years 4 months ago
Patterns and statistical analysis for understanding reduced resource computing
Martin C. Rinard, Henry Hoffmann, Sasa Misailovic,...
CSDA
2011
15 years 1 months ago
Simulation smoothing for state-space models: A computational efficiency analysis
William J. McCausland, Shirley Miller, Denis Pelle...
JAR
2011
49views more  JAR 2011»
15 years 1 months ago
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Véronique Cortier, Steve Kremer, Bogdan War...
SIAMNUM
2011
252views more  SIAMNUM 2011»
15 years 1 months ago
Analysis and Computation of Compatible Least-Squares Methods for div-curl Equations
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
Pavel B. Bochev, Kara Peterson, Christopher M. Sie...