Verification of a methodology for designing reliable communication protocols
- 期刊名称ACM SIGCOMM Computer Communication Review
- 作者Lin, Huai-An; Liu, Ming T.; Graff, Charles J.
- 卷第13卷
- 期第4期
- 印刷ISSN0146-4833
- 文件大小770.02KB
- 发表时间1983-10-01
- DOI10.1145/964661.800913
- 页码141-149
Going the distance for TLB prefetchingKandiraju, Gokul B.; Sivasubramaniam, Anand · ACM SIGARCH Computer Architecture News · 2002
[ACM Press the 2002 ACM SIGMETRICS international conference - Marina Del Rey, California (2002.06.15-2002.06.19)] Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems - SIGMETRICS '02 - Characterizing the <i>d</i> -TLB behavior of SPEC CPU2000 benchmarksKandiraju, Gokul B.; Sivasubramaniam, Anand · 2002
ProphesyTaylor, Valerie; Wu, Xingfu; Stevens, Rick · ACM SIGMETRICS Performance Evaluation Review · 2003
A survey on cloud interoperabilityZhang, Zhizhong; Wu, Chuan; Cheung, David W.L. · ACM SIGMETRICS Performance Evaluation Review · 2013
Response Time PreservationAgrawal, Subhash C.; Buzen, Jeffrey P.; Shum, Annie W. · ACM SIGMETRICS Performance Evaluation Review · 1984
G-networksGelenbe, Erol · ACM SIGMETRICS Performance Evaluation Review · 1995
Bayesian probabilistic risk analysisMosleh, Ali; Hilton, E. Richard; Browne, Peter S. · ACM SIGMETRICS Performance Evaluation Review · 1985
PRISMKwiatkowska, Marta; Norman, Gethin; Parker, David · ACM SIGMETRICS Performance Evaluation Review · 2009
Estimating loss rates with TCPAllman, Mark; Eddy, Wesley M.; Ostermann, Shawn · ACM SIGMETRICS Performance Evaluation Review · 2003
An algorithm for sizing software productsDeMarco, Tom · ACM SIGMETRICS Performance Evaluation Review · 1984