Sonda estocástica

En el cálculo de procesos, una sonda estocástica es un dispositivo de medición que mide el tiempo entre eventos arbitrarios de inicio y fin en un modelo de álgebra de procesos estocásticos. ^{[ 1 ]}^{[ 2 ]}

Referencias

↑ Argent-Katwala, A.; Bradley, JT (2006). "Especificación del rendimiento funcional con sondas estocásticas" (PDF) . Métodos formales y modelos estocásticos para la evaluación del rendimiento . Lecture Notes in Computer Science. Vol. 4054. p. 31. doi : 10.1007/11777830_3 . ISBN 978-3-540-35362-1.
↑ Hayden, RA; Bradley, JT; Clark, A. (2013). "Especificación y evaluación del rendimiento con sondas estocásticas unificadas y análisis de fluidos" (PDF) . IEEE Transactions on Software Engineering . 39 : 97–118 . CiteSeerX 10.1.1.297.5068 . doi : 10.1109/TSE.2012.1 . S2CID 584883 .

[1] Argent-Katwala, A.; Bradley, JT (2006). "Especificación del rendimiento funcional con sondas estocásticas" (PDF) . Métodos formales y modelos estocásticos para la evaluación del rendimiento . Lecture Notes in Computer Science. Vol. 4054. p. 31. doi : 10.1007/11777830_3 . ISBN 978-3-540-35362-1.

[2] Hayden, RA; Bradley, JT; Clark, A. (2013). "Especificación y evaluación del rendimiento con sondas estocásticas unificadas y análisis de fluidos" (PDF) . IEEE Transactions on Software Engineering . 39 : 97–118 . CiteSeerX 10.1.1.297.5068 . doi : 10.1109/TSE.2012.1 . S2CID 584883 .

[ 1 ]

[ 2 ]