7988 search results - page 1359 / 1598 » A Useful Undecidable Theory |
133
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
— Reinforcement Learning (RL) provides a promising new approach to systems performance management that differs radically from standard queuing-theoretic approaches making use of ...
145
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
126
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
138
click to vote
SIGMETRICS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using the classic...
129
click to vote
SPAA
2006
ACM
15 years 10 months ago
2006
ACM
The problem of scalable and robust distributed data storage has recently attracted a lot of attention. A common approach in the area of peer-to-peer systems has been to use a dist...