929 search results - page 46 / 186 » Computer assistance for model definition |
EUROPAR
2008
Springer
14 years 11 months ago
2008
Springer
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...
ANSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
ECCV
1994
Springer
15 years 11 months ago
1994
Springer
We analyse a class of tandem fields invariant by stochastic synchronous updating of all sites, subject to a generaJlzed reversibility assumption. We give a formal definition and pr...