2303 search results - page 172 / 461 » Interior-Point Methods in Parallel Computation |
113
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose a new model for image denoising which is a hybrid of the total variation model and the Laplacian mean-curvature model. An efficient numerical procedure to compute the h...
115
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
205
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
126
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Parallel solution of irregular problems require solving the graph partitioning problem. The extended eigenproblem appears as the solution of some relaxed formulations of the graph ...
126
Voted
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects...