698 search results - page 28 / 140 » Fast functional simulation using branching programs |
217
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
122
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
103
click to vote
ACG
2009
Springer
15 years 8 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...
172
click to vote
ISCA
2000
IEEE
15 years 5 months ago
2000
IEEE
Reconfigurable hardware has the potential for significant performance improvements by providing support for application−specific operations. We report our experience with Chimae...
113
click to vote
JILP
2000
15 years 1 months ago
2000
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...