8141 search results - page 1429 / 1629 » Higher Order Generalization |
252
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
249
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
129
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
Algebraic codes that achieve list decoding capacity were recently constructed by a careful "folding" of the Reed-Solomon code. The "low-degree" nature of this f...
137
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Load balancing is a technique which allows efficient parallelization of irregular workloads, and a key component of many applications and parallelizing runtimes. Work-stealing is ...
141
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
In recent years, the blogosphere has experienced a substantial increase in the number of posts published daily, forcing users to cope with information overload. The task of guidin...