3454 search results - page 302 / 691 » Modern computer algebra |
167
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
175
click to vote
STOC
1989
ACM
15 years 10 months ago
1989
ACM
Division is a fundamental problem for arithmetic and algebraic computation. This paper describes Boolean circuits of bounded fan-in for integer division nding reciprocals that...
191
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
156
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
194
click to vote
ARCS
2008
Springer
15 years 8 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...