2853 search results - page 365 / 571 » On Coherence in Computer Algebra |
130
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
137
click to vote
CRYPTO
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
146
click to vote
IMR
1999
Springer
15 years 8 months ago
1999
Springer
A novel algorithm to generate quad- and hex-dominant, semistructured meshes is presented. The algorithm utilizes a three-step, advancing layer scheme to generate the mesh in struc...
138
click to vote
PVM
1999
Springer
15 years 8 months ago
1999
Springer
The problem of solving sparse Systems of Linear Algebraic Equations (SLAE) by parallel Monte Carlo numerical methods is considered. The almost optimal Monte Carlo algorithms are pr...
120
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Several methods have been proposed in the literature for the local enumeration of dense references for arrays distributed by the CYCLIC(k) data-distributionin High Performance For...