67 search results - page 14 / 14 » Local Verification of Global Invariants in Concurrent Progra... |
PPOPP
2003
ACM
14 years 5 days ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
OOPSLA
2005
Springer
14 years 12 days ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...