Using Model Checking to Debug Device Firmware
.
2002. Using Model Checking to Debug Device Firmware. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
Luna: A Flexible Java Protection System
.
2002. Luna: A Flexible Java Protection System. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
An Analysis of Internet Content Delivery Systems
.
2002. An Analysis of Internet Content Delivery Systems. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
{TCP} Nice: A Mechanism for Background Transfers
.
2002. {TCP} Nice: A Mechanism for Background Transfers. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
The Effectiveness of Request Redirection on {CDN} Robustness
.
2002. The Effectiveness of Request Redirection on {CDN} Robustness. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).