Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Manuel Vargas Guzmán"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 96, Iss Proc. GandALF 2012, Pp 43-56 (2012)
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal
Externí odkaz:
https://doaj.org/article/d48f03eb83ca4c428eef6b552ff82274
Publikováno v:
Ingeniare. Revista chilena de ingeniería v.28 n.1 2020
SciELO Chile
CONICYT Chile
instacron:CONICYT
SciELO Chile
CONICYT Chile
instacron:CONICYT
espanolDesarrollar un algoritmo de control de flujo eficaz para evitar la congestion es un tema candente en la sociedad de redes de computadoras. Este articulo ofrece en principio un modelo matematico para una red general y luego se propone la teoria
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::452b9fccef50ed2e2cafa42b5c0ac2d9
http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052020000100024
http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052020000100024
Publikováno v:
Computación y Sistemas. 23
This paper proposes a multifractal model, with the aim of providing a possible explanation for the locality phenomenon that appears in the estimation of the Hurst exponent in stationary second order temporal series representing self-similar traffic f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fcebd2f543f3f878d791e29e3d91a924
https://doi.org/10.13053/cys-23-4-2831
https://doi.org/10.13053/cys-23-4-2831
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 96, Iss Proc. GandALF 2012, Pp 43-56 (2012)
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2014, 560, pp.326-347. ⟨10.1016/j.tcs.2014.08.020⟩
GandALF
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2014, 560, pp.326-347. ⟨10.1016/j.tcs.2014.08.020⟩
GandALF
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21d9fabd3e00e65ead9117f9012e02a8
http://arxiv.org/abs/1210.2451
http://arxiv.org/abs/1210.2451