1061 search results - page 199 / 213 » Dependently Sorted Logic |
99
Voted
WWW
2003
ACM
16 years 13 days ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
178
click to vote
ASPLOS
2009
ACM
16 years 12 days ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
81
Voted
SPAA
2009
ACM
16 years 9 days ago
2009
ACM
We analyze the correctness and complexity of two well-known routing algorithms, introduced by Gafni and Bertsekas (1981): By reversing the directions of some edges, these algorith...
209
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
201
click to vote
POPL
2007
ACM
16 years 2 days ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...