13603 search results - page 369 / 2721 » On the Computational Complexity of Cut-Reduction |
167
click to vote
IWPEC
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
219
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
Block-wise access to data is a central theme in the design of efficient external memory (EM) algorithms. A second important issue, when more than one disk is present, is fully par...
172
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
189
click to vote
HIPC
2009
Springer
15 years 5 months ago
2009
Springer
The Cell/B.E. processor has proved that heterogeneous multi