Pages that link to "Item:Q5394043"

The following pages link to Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394043):

Displaying 10 items.

• Computational procedures for a class of GI/D/\(k\) systems in discrete time (Q609684) (← links)
• Delay and partial system contents for a discrete-time G-D-c queue (Q1029555) (← links)
• Calculation of delay characteristics for multiserver queues with constant service times (Q1042119) (← links)
• On queueing delays of dispersed messages (Q1319178) (← links)
• Characterisation of the output process of a discrete-time \(GI/D/1\) queue, and its application to network performance (Q2014666) (← links)
• Delay analysis of a discrete-time single-server queue with an occasional extra server (Q2115777) (← links)
• Analytic study of multiserver buffers with two-state Markovian arrivals and constant service times of multiple slots (Q2483013) (← links)
• Delay analysis of a discrete-time<i>GI</i>−<i>GI</i>− 1 queue with reservation-based priority scheduling (Q2811913) (← links)
• Combined Analysis of Transient Delay Characteristics and Delay Autocorrelation Function in the<b><i>G</i></b><b><i>e</i></b><b><i>o</i></b>^{<b><i>X</i></b>}/<b><i>G</i></b>/<b>1</b>Queue (Q2904315) (← links)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394042) (← links)