36781 search results - page 7142 / 7357 » Parameterizing by the Number of Numbers |
206
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
We propose a provably efficient application-controlled global strategy for organizing a cache of size k shared among P application processes. Each application has access to informa...
173
click to vote
IJAIT
2002
15 years 6 months ago
2002
The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information...
216
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
Hot spots are a major obstacle to achieving scalability in the Internet. At the application layer, hot spots are usually caused by either (a) high demand for some data or (b) high...
149
Voted
AAI
1998
15 years 6 months ago
1998
Traditional AI research has not given due attention to the important role that physical bodies play for agents as their interactions produce complex emergent behaviors to achieve ...
164
click to vote
ACTA
1998
15 years 6 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...