Upper and lower bounds are proved for the shared space requirements for solution of several problems involving resource allocation among asynchronous processes. Controlling the degradation of performance when a limite...
详细信息
Upper and lower bounds are proved for the shared space requirements for solution of several problems involving resource allocation among asynchronous processes. Controlling the degradation of performance when a limited number of processes fail is of particular interest.
Sorting algorithms are traditionally classified according to their main operational characteristic. More recently, program synthesis has been used as a basis for classification. We briefly survey previous work in the ...
详细信息
Sorting algorithms are traditionally classified according to their main operational characteristic. More recently, program synthesis has been used as a basis for classification. We briefly survey previous work in the synthesis and classification of sorting algorithms, and outline a more comprehensive scheme derived by synthesising many sorting algorithms in a top-down fashion on a semi-automated logic programming system.
A semantic algebra construction is introduced to model the stepwise behavior of synchronous systems in an arbitrary pointed algebraic theory T The theory T is extended to a feedback theory F(infinity)T in which the bo...
详细信息
A semantic algebra construction is introduced to model the stepwise behavior of synchronous systems in an arbitrary pointed algebraic theory T The theory T is extended to a feedback theory F(infinity)T in which the bottom morphism is the designated point of T The feedback theory F(infinity)T is obtained as the inverse limit of the theories n-res T that describe the stepwise behavior of systems in T restricted to the first n clock cycles. It is shown that in F(infinity)T, iteration satisfies the functorial dagger condition. Some suggestions are made about how to generalize the construction to handle infinite systems.
This paper exposes the concurrent characteristic in the communication between processors in a transputer based system, and proposes an approximate formula for assessing the granularity of distributing the parallel pro...
详细信息
This paper exposes the concurrent characteristic in the communication between processors in a transputer based system, and proposes an approximate formula for assessing the granularity of distributing the parallel processes among processors. The really measured results for a pipeline sorting program running on the T-rack confirm these deduced results.
The formulation of the closed queuing network model of a multiprogrammingcomputer system is generalized to allow each task to have its own set of facility service rates and I/O device selection probability distributi...
详细信息
The formulation of the closed queuing network model of a multiprogrammingcomputer system is generalized to allow each task to have its own set of facility service rates and I/O device selection probability distribution. In the model, processor sharing is assumed for different types of customers. It is shown through a series of investigations that the model reasonably approximates pre-emptive priority dispatching.
作者：
CHOW, WMIBM CORP
THOMAS J WATSON RES CTRYORKTOWN HTSNY 10598
A computer system can usually be interpreted as a closed network with two different types of servers. It is then possible to convert the network into a single server system with state-dependent arrivals. This paper in...
详细信息
A computer system can usually be interpreted as a closed network with two different types of servers. It is then possible to convert the network into a single server system with state-dependent arrivals. This paper investigates the stationary behavior of a single server queue with different classes of jobs. It is assumed that the input process has state-dependent exponential inter-arrival times and preemptions at the server are not allowed. The exact solution is obtained by finding the relationship between the time average probability distribution and the departure average probability distribution. The latter can be derived, based upon an imbedded Markov Chain.
By viewing different parallel programming paradigms as essentially heterogeneous approaches in mapping 'real-world' problems to parallel systems, the authors discuss methodologies in integrating multiple progr...
详细信息
By viewing different parallel programming paradigms as essentially heterogeneous approaches in mapping 'real-world' problems to parallel systems, the authors discuss methodologies in integrating multiple programming models on a massively parallel system such as Connection Machine CM5, Using a dataflow based integration model built in a visualization software AVS, the authors describe a simple, effective and modular way to couple sequential, data-parallel and explicit message-passing modules into an integrated parallel programming environment on a CM5. A case study in the area of numerical advection modeling is given to demonstrate the integration of data-parallel and message-passing modules in the proposed multi-paradigm programming environment.
Portable, efficient, parallel programming requires cost models to compare different possible implementations. In turn, these require knowledge of the shapes of the data structures being used, as well as knowledge of t...
详细信息
Portable, efficient, parallel programming requires cost models to compare different possible implementations. In turn, these require knowledge of the shapes of the data structures being used, as well as knowledge of the hardware parameters. This paper shows how shape analysis techniques developed in the FISh programming language could be exploited to produce a data parallel language with an accurate, portable cost model. (C) 2000 Elsevier Science B.V. All rights reserved.
Very few test engineers can boast to be completely up to date on all the latest advancements in instrumentation technology and test-related software environments. Companies relies on in-house groups of experts to desi...
详细信息
Very few test engineers can boast to be completely up to date on all the latest advancements in instrumentation technology and test-related software environments. Companies relies on in-house groups of experts to design, select, and integrate needed test facilities. However more systems integration tasks are being performed by outside contractors. Some of the reasons are: the difficulty to attract and keep gainfully occupied enough talented engineers with adequate collective knowledge to perform systems integration tasks quickly and efficiently;the desire to focus internal resources on the company's product line and not on nonrelated, although essential, support activities;and the need to supplement internal resources to achieve schedule commitments.
We consider some methods of internal sorting which are stable in the sense of preserving the sequence of records with equal keys. The efficiency of the proposed algorithms is estimated, and some suggestions are made a...
详细信息
We consider some methods of internal sorting which are stable in the sense of preserving the sequence of records with equal keys. The efficiency of the proposed algorithms is estimated, and some suggestions are made as to the use of the corresponding programs.
暂无评论