5964 search results - page 832 / 1193 » A theory of speculative computation |
197
click to vote
KIVS
1999
Springer
15 years 12 months ago
1999
Springer
Abstract Charging schemes are needed to protect an integrated services network from arbitrary resource reservations and to create a funding mechanism to extend network capacity at ...
184
click to vote
ICNP
1998
IEEE
15 years 12 months ago
1998
IEEE
We develop a theory for deciding, for any routing metric and any network, whether the messages in this network can be routed along paths whose metric values are maximum. In order ...
263
click to vote
CADE
1998
Springer
15 years 12 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
220
click to vote
ESA
1998
Springer
15 years 12 months ago
1998
Springer
In this paper, we study a class of optimal path problems with the following phenomenon: The space complexity of the algorithms for reporting the lengths of single-source optimal pa...
196
click to vote
EUROPAR
1998
Springer
15 years 12 months ago
1998
Springer
This paper aims to improve locality of references by suitably choosing array layouts. We use a new definition of spatial reuse vectors that takes into account memory layout of arra...