Results 261 to 270 of about 214,630 (306)

On the sample path properties of mixed Poisson processes [PDF]

open access: yesOperations Research Letters, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Miaoqi Fu, Xian Hua Peng
openaire   +4 more sources

Two Ergodic Sample-Path Properties of the Poisson Process [PDF]

open access: yesJournal of Theoretical Probability, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wolfgang Stadje
openaire   +3 more sources

Sample Path Properties [PDF]

open access: yes, 2013
Björn Böttcher   +2 more
openaire   +2 more sources

Lattice-Based Sampling for Path Property Monitoring

ACM Transactions on Software Engineering and Methodology, 2011
Runtime monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences of program states and events, however, can result in significant runtime overhead.
Madeline Diep   +2 more
openaire   +1 more source

Sample Path Properties at Upcrossings

1983
Our main concern in the previous chapter has been the numbers and locations of upcrossings of high levels, and the relations between the upcrossings of several adjacent levels.For instance, we know from Theorem 9.3.2 and relation (9.2.3) that for a standard normal process each upcrossing of the high level u = uτ; with a probability p = τ*/τ is ...
M. R. Leadbetter   +2 more
openaire   +1 more source

Sample path and asymptotic properties of space-time models [PDF]

open access: yes, 2011
Spatio-temporal models are widely used for inference in statistics and many applied areas. In such contexts interests are often in the geometric nature (e.g. anisotropy), and the statistical properties of these models.
Xue, Yun
openaire   +3 more sources

Sample path properties of timed discrete event systems

Proceedings of the IEEE, 1989
The basic problem of constructing a perturbed sample path (given a parameter perturbation) from information contained in a nominal sample path is considered. Two conditions, observability and constructability, which have to be satisfied for this to be feasible are identified.
Christos G. Cassandras   +1 more
openaire   +1 more source

Reducing the Cost of Path Property Monitoring Through Sampling

2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Run-time monitoring can provide important insights about a program's behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences of program states and events, however, can result in significant run-time overhead. In this paper we present a novel approach to reducing the cost of run-time monitoring of path
Matthew B. Dwyer   +2 more
openaire   +1 more source

Sample path properties of the G/D/m queue

European Journal of Operational Research, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fu, Michael C., Hu, Jian-Qiang
openaire   +1 more source

Sample path properties of processes with stable components

Zeitschrift f�r Wahrscheinlichkeitstheorie und Verwandte Gebiete, 1969
In this paper, processes in R d of the form X(t)=(X 1 (t), X 2 (t), ⋯, X N (t), where X i (t) is a stable process of index α i in ...
Pruitt, W. E., Taylor, S. J.
openaire   +2 more sources

Home - About - Disclaimer - Privacy