162 search results - page 26 / 33 » A Relational Approach to the Compilation of Sparse Matrix Pr... |
209
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
118
Voted
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
SIAMMAX
2010
14 years 6 months ago
2010
It is well-known that two-level and multi-level preconditioned conjugate gradient (PCG) methods provide efficient techniques for solving large and sparse linear systems whose coeff...
93
Voted
ICPR
2000
IEEE
16 years 22 days ago
2000
IEEE
We describe a method for learning statistical models of images using a second-order hidden Markov mesh model. First, an image can be segmented in a way that best matches its stati...
PVM
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...