749 search results - page 14 / 150 » Combinatory Models and Symbolic Computation |
140
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
118
Voted
ACG
2006
Springer
15 years 10 months ago
2006
Springer
Probabilistic combinatorial games (PCG) are a model for Go-like games recently introduced by Ken Chen. They differ from normal combinatorial games since terminal position in each ...
120
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...