Sciweavers

1730 search results - page 52 / 346
» Algebra and Computation
Sort
View
119
Voted
TCS
2002
15 years 3 months ago
Process algebra for performance evaluation
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoe...
113
Voted
CISST
2003
83views Hardware» more  CISST 2003»
15 years 4 months ago
Computational Efficiency of Structural Image Matching
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
Richard Chase, Boris Kovalerchuk
111
Voted
COMPGEOM
2000
ACM
15 years 7 months ago
Look - a Lazy Object-Oriented Kernel for geometric computation
In this paper we describe and discuss a new kernel design for geometric computation in the plane. It combines different kinds of floating-point filter techniques and a lazy eval...
Stefan Funke, Kurt Mehlhorn
EUROPAR
2008
Springer
15 years 5 months ago
Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
Joel Falcou, Jocelyn Sérot, Lucien Pech, Je...
118
Voted
CAP
2010
14 years 10 months ago
A quantitative study of reductions in algebraic libraries
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
Yue Li, Gabriel Dos Reis