1453 search results - page 198 / 291 » State and history in operating systems |
105
click to vote
DIMACS
1996
15 years 1 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
SIGOPS
2010
14 years 11 months ago
2010
We describe the design of, and experience with, Query, a monitoring system that supports the Akamai EdgePlatform. Query is a foundation of Akamai’s approach to administering its...
190
Voted
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
87
Voted
OSDI
2008
ACM
16 years 27 days ago
2008
ACM
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...
123
Voted
OSDI
2008
ACM
16 years 27 days ago
2008
ACM
Internet routing is mostly based on static information-it's dynamicity is limited to reacting to changes in topology. Adaptive performance-based routing decisions would not o...