2853 search results - page 122 / 571 » On Coherence in Computer Algebra |
128
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
The efforts of an expert to parallelize and optimize a dense linear algebra algorithm for distributed-memory targets are largely mechanical and repetitive. We demonstrate that the...
128
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
An efficient matrix solver is critical to the analytical placement. As the size of the matrix becomes huge, the multilevel methods turn out to be more efficient and more scalable....
122
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
143
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
158
click to vote
SIAMCOMP
2000
15 years 4 months ago
2000
In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite algebras A and B, these problems ask the following. (1) Do A and B ...