Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1521156, author = {Beneš, Nikola and Brim, Luboš and Pastva, Samuel and Šafránek, David}, address = {Cham}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019}, doi = {http://dx.doi.org/10.1007/978-3-030-17465-1_19}, edition = {LNCS, volume 11428}, editor = {Tomáš Vojnar and Lijun Zhang}, keywords = {bifurcation analysis; TCP; terminal strongly connected components; robustness}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Cham}, isbn = {978-3-030-17464-4}, pages = {339-356}, publisher = {Springer International Publishing}, title = {Digital Bifurcation Analysis of TCP Dynamics}, url = {http://dx.doi.org/10.1007/978-3-030-17465-1_19}, year = {2019} }
TY - JOUR ID - 1521156 AU - Beneš, Nikola - Brim, Luboš - Pastva, Samuel - Šafránek, David PY - 2019 TI - Digital Bifurcation Analysis of TCP Dynamics PB - Springer International Publishing CY - Cham SN - 9783030174644 KW - bifurcation analysis KW - TCP KW - terminal strongly connected components KW - robustness UR - http://dx.doi.org/10.1007/978-3-030-17465-1_19 N2 - Digital bifurcation analysis is a new algorithmic method for exploring how the behaviour of a parameter-dependent computer system varies with a change in its parameters and, in particular, for identification of bifurcation points where such variation becomes dramatic. We have developed the method in an analogy with the traditional bifurcation theory and have it successfully applied to models taken from systems biology. In this case study paper, we demonstrate the appropriateness and usefulness of the digital bifurcation analysis as a push-button alternative to the classical approaches as traditionally used for analysing the stability of TCP/IP protocols. We consider two typical examples (congestion control and buffer sizes throughput influence) and show that the method provides the same results as obtained with classical non-automatic analytical and numerical methods. ER -
BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. \textit{Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019}. LNCS, volume 11428. Cham: Springer International Publishing, 2019, p.~339-356. ISBN~978-3-030-17464-4. Available from: https://dx.doi.org/10.1007/978-3-030-17465-1\_{}19.
|