Weighted games for several levels of approval in input and output were introduced in [9]. An extension of the desirability relation for simple games, called the influence relation, was introduced for games with several levels of approval in input in [24] (see also [18]). However, there are weighted games not being complete for the influence relation, something different to what occurs for simpl...

A polymorphic analysis is an analysis whose input and output contain parameters which serve as placeholders for information that is unknown before analysis but provided after analysis. In this paper, we present a polymorphic groundness analysis that infers parameterised groundness descriptions of the variables of interest at a program point. The polymorphic groundness analysis is designed by re...

Let us denote with p ∈ N a finite number of time steps in the future. We are interested in deriving a prediction model of the future output z(k+ p), exploiting the input and output measurements collected in the time interval [k− o+ 1,k], where o ∈ N is the chosen order of the model, and the future (planned) inputs in the interval [k,k+ p−1]. Specifically, at any instant k let us define the regr...

We are considering a discrete-time model of an access ATM switch with output buuers. A switch with output queueing has an optimum performance, however it requires a switch fabric with speed of N. However, The switch fabric may operate L < N times the speed of the input/output links. Also random traac assumption underestimates the buuer size. In our study, each input port of the switch is assume...