9888 search results - page 331 / 1978 » compute 2009 |
188
click to vote
CCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
196
click to vote
ICALP
2009
Springer
16 years 8 months ago
2009
Springer
We show several unconditional lower bounds for exponential time classes against polynomial time classes with advice, including:
158
click to vote
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
217
click to vote
APSCC
2009
IEEE
16 years 2 months ago
2009
IEEE
What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access righ...
173
click to vote
ECOOPW
2004
Springer
16 years 1 months ago
2004
Springer
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...