2477 search results - page 372 / 496 » Parallelizing Functional Programs by Generalization |
126
click to vote
ENTCS
2006
15 years 4 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
136
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...
153
click to vote
ARTMED
2002
15 years 4 months ago
2002
This paper presents an evolutionary artificial neural network approach based on the pareto differential evolution algorithm augmented with local search for the prediction of breas...
166
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
169
click to vote
ENTCS
2010
15 years 2 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...