Sciweavers

13 search results - page 2 / 3
» Flattening an Object Algebra to Provide Performance
Sort
View
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
13 years 10 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
FASE
2008
Springer
13 years 7 months ago
An Algebraic Semantics for MOF
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
Artur Boronat, José Meseguer
AVSS
2009
IEEE
13 years 9 months ago
Regressed Importance Sampling on Manifolds for Efficient Object Tracking
In this paper, a new integrated particle filter is proposed for video object tracking. After particles are generated by importance sampling, each particle is regressed on the tran...
Fatih Porikli, Pan Pan
PPSC
1997
13 years 6 months ago
Parallel Extensions to the Matrix Template Library
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...
Andrew Lumsdaine, Brian C. McCandless
ISSAC
2007
Springer
162views Mathematics» more  ISSAC 2007»
13 years 11 months ago
Multiprocessed parallelism support in ALDOR on SMPs and multicores
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt,...