2853 search results - page 475 / 571 » On Coherence in Computer Algebra |
COORDINATION
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
SPAA
1999
ACM
15 years 2 months ago
1999
ACM
Matrix multiplication is an important kernel in linear algebra algorithms, and the performance of both serial and parallel implementations is highly dependent on the memory system...
IWCC
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
EUROPAR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The High Performance Fortran (HPF) benchmark suite HPFBench was designed for evaluating the HPF language and compilers on scalable architectures. The functionality of the...
120
click to vote
CADE
1998
Springer
15 years 2 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...