Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification. This raises the question of a proper conformance relation that should be established between implementation and specification. One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems. In this paper ...

This paper discusses an input-output projection model which has been usedfor indicatz've planning of the West Malaysian economy into 1985. The model projects the structure of the economy including output, investment and labour in 1985 given a level ofaggregate domestic consumption likely to be utilised in the target year. The basic projection indicates that the growth rate in per capita private...

44.

This Technical Document describes the steps to disaggregate an industry sector in an I-O table using Python. A disaggregation method that based on weight factors is used in this document. The calculation has three parts. The rst part is to calculate the disaggregated input matrix DIM, which represents all the input from common sectors into the new sectors. The second part is to calculate the di...

We report a computation of the exact output rate of recently-discovered generalization of Peres algorithm for generating random bits from loaded dice. Instead of resorting to brute-force computation for all possible inputs, which becomes quickly impractical as the input size increases, we compute the total output length on equiprobable sets of inputs by dynamic programming using a recursive for...

during the last years, the concept of input congestion and technical ineff- ciency in data envelopment analysis (dea), have been investigated by manyresearchers. the motivation of this paper is to present models which obtain thedecreased output value due to input congestion and technical ineciency. more-over, we extend the models to estimate input congestion, technical ineciencyand output red...

We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speciication of-calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the eeectiveness of this approach.

Determining structure and motion from the images produced by a camera on a moving robot is a nonlinear and potentially poorly conditioned computation. A reliable system must use redundant data so that small random errors in the inputs cancel out statistically to produce better outputs. Furthermore, the output quantities to be computed must be well observable, that is, they should have well-meas...

Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player. The players share the action vocabulary and make moves that are labeled by actions according to their res...