749 search results - page 14 / 150 » Combinatory Models and Symbolic Computation |
EUROPAR
2006
Springer
14 years 1 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...
DAC
1990
ACM
14 years 1 months ago
1990
ACM
ACG
2006
Springer
14 years 3 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 ...
ISSTA
2006
ACM
14 years 3 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...
GREC
2007
Springer
14 years 4 months ago
2007
Springer