Opening Remarks and Jay Lepreau Best Paper Awards
.
2010. Opening Remarks and Jay Lepreau Best Paper Awards. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
{Behavior-Based} Problem Localization for Parallel File Systems
.
2010. {Behavior-Based} Problem Localization for Parallel File Systems. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
What Consistency Does Your {Key-Value} Store Actually Provide?
.
2010. What Consistency Does Your {Key-Value} Store Actually Provide? Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
Subscription Dynamics and Competition in Communications Markets
.
2010. Subscription Dynamics and Competition in Communications Markets. 2010 Workshop on the Economics of Networks, Systems, and Computation (NetEcon 10).
Mathematical Modeling of Competition in Sponsored Search Market
.
2010. Mathematical Modeling of Competition in Sponsored Search Market. 2010 Workshop on the Economics of Networks, Systems, and Computation (NetEcon 10).
{Counterexample-Guided} Abstraction Refinement for {PLCs}
.
2010. {Counterexample-Guided} Abstraction Refinement for {PLCs}. 5th International Workshop on Systems Software Verification (SSV 10).
Welcome
.
2010. Welcome. 5th International Workshop on Systems Software Verification (SSV 10).
- Read more about Welcome
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
{mClock}: Handling Throughput Variability for Hypervisor {IO} Scheduling
.
2010. {mClock}: Handling Throughput Variability for Hypervisor {IO} Scheduling. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Virtualize Everything but Time
.
2010. Virtualize Everything but Time. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).