This document gives an overview the standard methods used to model and analyze the performance of queuing systems. This includes both analytical techniques and simulation methodology. Simulation must be used when the ...

A discrete-event simulation environment, called GMSim, based on the generalized semi-Markov process (GSMP) framework is described. The tool is completely generic and extendible by Tcl script programming. Application specific ...

We show that to every recursive total continuous functional there is a total functional below it that is S1-S9 computable in the hierarchy of partial continuous functionals, or equivalently, that is PCF-definable in the ...

Sparse arrays provide a large aperture with few elements. Through an exhaustive search of all possible thinning patterns for small linear sparse arrays, the Fourier properties of arrays with optimal coarray properties are ...