1150 search results - page 133 / 230 » Advanced MPI Programming |
JCIT
2010
14 years 4 months ago
2010
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
TCIAIG
2010
14 years 4 months ago
2010
This paper presents the recent technical advances in Monte-Carlo Tree Search for the Game of Go, shows the many similarities and the rare differences between the current best progr...
113
click to vote
PLDI
1991
ACM
15 years 1 months ago
1991
ACM
o Authors of Extended Abstracts William Pugh Dept. of Computer Science and Institute for Advanced Computer Studies Univ. of Maryland, College Park March 16, 1993 This article stems...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
102
click to vote
DAGSTUHL
1996
14 years 11 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...