5090 search results - page 257 / 1018 » Constructing Strategies for Programming |
144
click to vote
PROCEDIA
2010
14 years 11 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
122
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
124
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
128
click to vote
ACG
2009
Springer
15 years 11 months ago
2009
Springer
Recently, Monte-Carlo Tree Search (MCTS) has advanced the field of computer Go substantially. In the game of Lines of Action (LOA), which has been dominated in the past by αβ, M...
147
click to vote
ICCNMC
2005
Springer
15 years 10 months ago
2005
Springer
Routing packets along a specified curve is a new approach to forwarding packets in large-scale dense sensor networks. Forwarding packets along trajectories can be very effective in...