Enhancement of Feedback Congestion Control Mechanisms by Deploying Active Congestion Control
暂无分享,去创建一个
[1] T. V. Lakshman,et al. Efficient Active Queue Management for Internet Routers , 1997 .
[2] Sally Floyd,et al. TCP and explicit congestion notification , 1994, CCRV.
[3] Steven McCanne,et al. An application level video gateway , 1995, MULTIMEDIA '95.
[4] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[5] Raj Jain,et al. Congestion Avoidance in Computer Networks With a Connectionless Network Layer 1 INTRODUCTION , 1997 .
[6] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[7] QUTdN QeO,et al. Random early detection gateways for congestion avoidance , 1993, TNET.
[8] K. K. Ramakrishnan,et al. A binary feedback scheme for congestion avoidance in computer networks with a connectionless network layer , 1995, CCRV.
[9] Sofiène Tahar,et al. Comparison of SPIN and VIS for protocol verification , 2003, International Journal on Software Tools for Technology Transfer.
[10] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[11] Gerard J. Holzmann,et al. An improvement in formal verification , 1994, FORTE.
[12] Sally Floyd,et al. Promoting the use of end-to-end congestion control in the Internet , 1999, TNET.
[13] Robert P. Kurshan,et al. The complexity of verification , 1994, STOC '94.
[14] Sandeep K. Singhal,et al. Designing an academic firewall: policy, practice, and experience with SURF , 1996, Proceedings of Internet Society Symposium on Network and Distributed Systems Security.
[15] Van Jacobson,et al. Congestion avoidance and control , 1988, SIGCOMM '88.
[16] Ted Faber. ACC: Active Congestion Control , 2003 .
[17] Rance Cleaveland,et al. Verifying an intelligent structural control system: a case study , 1994, 1994 Proceedings Real-Time Systems Symposium.
[18] Doron A. Peled,et al. Combining partial order reductions with on-the-fly model-checking , 1994, Formal Methods Syst. Des..
[19] G.J. Minden,et al. A survey of active network research , 1997, IEEE Communications Magazine.
[20] Rance Cleaveland,et al. Modeling and Verifying Active Structural Control Systems , 1997, Sci. Comput. Program..
[21] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[22] David Wetherall,et al. Towards an active network architecture , 1996, CCRV.
[23] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[24] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[25] Matthew Mathis,et al. Forward acknowledgement: refining TCP congestion control , 1996, SIGCOMM '96.