2853 search results - page 345 / 571 » On Coherence in Computer Algebra |
149
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
112
click to vote
FUN
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
140
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this work we study the computational complexity of a class of grid Monte Carlo algorithms for integral equations. The idea of the algorithms consists in an approximation of the ...
166
click to vote
LSSC
2007
Springer
15 years 10 months ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
176
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...