Sciweavers

1730 search results - page 52 / 346
» Algebra and Computation
Sort
View
TCS
2002
13 years 9 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...
CISST
2003
83views Hardware» more  CISST 2003»
13 years 11 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
COMPGEOM
2000
ACM
14 years 2 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
13 years 11 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...
CAP
2010
13 years 5 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