Sciweavers

9888 search results - page 194 / 1978
» compute 2009
Sort
View
SAC
2009
ACM
16 years 1 months ago
On the practical importance of communication complexity for secure multi-party computation protocols
Many advancements in the area of Secure Multi-Party Computation (SMC) protocols use improvements in communication complexity as a justification. We conducted an experimental stud...
Florian Kerschbaum, Daniel Dahlmeier, Axel Schr&ou...
SCALESPACE
2009
Springer
16 years 24 days ago
Computational Geometry-Based Scale-Space and Modal Image Decomposition
In this paper a framework for defining scale-spaces, based on the computational geometry concepts of α-shapes, is proposed. In this approach, objects (curves or surfaces) of incr...
Anatole Chessel, Bertrand Cinquin, Sabine Bardin, ...
PPOPP
2009
ACM
16 years 1 months ago
Petascale computing with accelerators
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybr...
Michael Kistler, John A. Gunnels, Daniel A. Broken...
CIE
2009
Springer
16 years 25 days ago
Computational Heuristics for Simplifying a Biological Model
Abstract. Computational biomodelers adopt either of the following approaches: build rich, as complete as possible models in an effort to obtain very realistic models, or on the co...
Ion Petre, Andrzej Mizera, Ralph-Johan Back
CONCUR
2009
Springer
16 years 25 days ago
Computing Stuttering Simulations
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
Francesco Ranzato, Francesco Tapparo