2343 search results - page 114 / 469 » Structure and Interpretation of Computer Programs |
108
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
125
click to vote
ISPAN
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...
241
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
142
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
154
click to vote
AAAI
2012
13 years 7 months ago
2012
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...