The author’s realization of Philippe Boesmans’ Daydreams, for marimba and electronics, was a study in the musical relationships between performers and computers. This realization can be used to reflect a performer’s interpretation of the score through a performer-oriented user interface. The new version honors the composer’s intentions but eliminates the need for excessive hardware devices and ...

The calculation of the distribution of a linear combination of order statistics from random variables that are uniformly distributed is considered. A simple recursion to compute this distribution is presented that, unlike previous methods, is numerically stable and efficient. As such, this should be the algorithm of choice when the linear combination distribution needs to be obtained. (Reliabil...

Multiprocessor system models at present are very important and widely used in modelling transaction processing systems, communication networks, mobile networks, and flexible machine shops with groups of machines. Heterogeneous processors system with one faster main server and several identical servers are studied. In this paper reconfiguration and rebooting delays are considered to study the pe...

Stochastic Process Algebras (SPA) have been proposed as compositional specification formalisms for quantitative models. Here we apply these compositional features to SPAs extended by rewards. State space reduction of performability models can be achieved based on the behaviour-preserving notion of Markov Reward Bisimulation. For a framework extended by immediate actions we develop a new equival...

The design of modern telecommunication systems is a complex task since many parameters, mostly of stochastic nature, have to be taken into account in order to achieve desired performance values. Sto-chastic Petri Nets (SPNs) are a well-known modeling and analysis tool for such systems. In addition, the ability to adapt system operations to quickly changing environment or system conditions is of...

Open queuing network systems are useful in the computer industry. In this paper, a multi-node open network, with heterogeneous nodes, each node serving external as well as routed internal arrivals of jobs is considered. The nodes are prone to failures and repairs, the buffers are of finite size. An approximate performability model is developed based on an IPP departure process. External Poisson...

The new paradigm of Integrated Modular Avionics (IMA) [1] necessitates the analysis and validation of non-functional requirements for IMA systems. This includes the analysis of their performability. In this paper we present an initial approach of a performance modelling framework, based on the SAE standardised modelling and analysis language AADL [2, 3], to integrate performance analysis in the...