8810 search results - page 39 / 1762 » Open. Closed. Open |
123
click to vote
FOSSACS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
151
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
In this paper we study a fundamental open problem in the area of probabilistic checkable proofs: What is the smallest s such that NP naPCP1,s[O(log n), 3]? In the language of har...
145
click to vote
WCRE
2009
IEEE
16 years 21 days ago
2009
IEEE
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: The proliferation of Content Delivery Networks (CDN) reveals that existing content networks are owned and operated by individual companies. As a consequence, closed delivery netw...