57 search results - page 12 / 12 » Problem-Solving Methods for Understanding Process Executions |
FP
1989
15 years 2 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
117
click to vote
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...