3454 search results - page 108 / 691 » Modern computer algebra |
160
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
165
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
There are various algorithms known for deciding the parametrizability (rationality) of a plane algebraic curve, and if the curve is rational, actually computing a parametrization....
143
click to vote
CONCUR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
162
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
We propose a load balancing heuristic for parallel adaptive finite element method (FEM) simulations. In contrast to most existing approaches, the heuristic focuses on good partit...
176
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...