A Network Formation Model for Internet Transit Relations
.
2010. A Network Formation Model for Internet Transit Relations. 2010 Workshop on the Economics of Networks, Systems, and Computation (NetEcon 10).
A {Decision-Analytic} Approach for {P2P} Cooperation Policy Setting
.
2010. A {Decision-Analytic} Approach for {P2P} Cooperation Policy Setting. 2010 Workshop on the Economics of Networks, Systems, and Computation (NetEcon 10).
We Crashed, Now What?
.
2010. We Crashed, Now What? Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
- Read more about We Crashed, Now What?
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Improved Device Driver Reliability Through Verification Reuse
.
2010. Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
Towards Automatically Checking Thousands of Failures with Micro-specifications
.
2010. Towards Automatically Checking Thousands of Failures with Micro-specifications. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
Synoptic: Summarizing System Logs with Refinement
.
2010. Synoptic: Summarizing System Logs with Refinement. Workshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML 10).
A Graphical Representation for Identifier Structure in Logs
.
2010. A Graphical Representation for Identifier Structure in Logs. Workshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML 10).
{SIP} {CLF}: A Common Log Format ({{{{{CLF}}}}}) for the Session Initiation Protocol ({{{{{SIP}}}}})
.
2010. {SIP} {CLF}: A Common Log Format ({{{{{CLF}}}}}) for the Session Initiation Protocol ({{{{{SIP}}}}}). Workshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML 10).
Deterministic Process Groups in {dOS}
.
2010. Deterministic Process Groups in {dOS}. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Stable Deterministic Multithreading through Schedule Memoization
.
2010. Stable Deterministic Multithreading through Schedule Memoization. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).