Stochastic probe

In process calculus a stochastic probe is a measurement device that measures the time between arbitrary start and end events over a stochastic process algebra model.[1][2]

References

  1. ↑ Argent-Katwala, A.; Bradley, J. T. (2006). "Functional Performance Specification with Stochastic Probes". Formal Methods and Stochastic Models for Performance Evaluation (PDF). Lecture Notes in Computer Science. 4054. p. 31. doi:10.1007/11777830_3. ISBN 978-3-540-35362-1.
  2. ↑ Hayden, R. A.; Bradley, J. T.; Clark, A. (2013). "Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis" (PDF). IEEE Transactions on Software Engineering. 39: 97. doi:10.1109/TSE.2012.1.
This article is issued from Wikipedia - version of the 9/4/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.