The paper includes generalization of the Quine-Mc Cluskey minimization algorithm of two-valued and multiple-valued logical functions to the case of multiple-valued logical functions taking into account various multiva...
详细信息
The paper includes generalization of the Quine-Mc Cluskey minimization algorithm of two-valued and multiple-valued logical functions to the case of multiple-valued logical functions taking into account various multivalency of variables, and to the case of complex logical expressions of the type 'product sum of product sums ... product sums' up to exhaustion of variables.
Shared libraries allow multiple processes to share a single copy of library code. This is accomplished by loading shared library code into the system separately from any one program. When a program calls a routine in ...
详细信息
Shared libraries allow multiple processes to share a single copy of library code. This is accomplished by loading shared library code into the system separately from any one program. When a program calls a routine in the shared library, it branches into and out of the shared library at run time. Thus an executable file that uses shared libraries does not hold library routines and initialized data. This results in smaller files and lower disk space requirements. To meet the needs of the PORT/HP-UX product, a special model for shared libraries was developed and implemented on HP 9000 Series 800 computers.
REH is a program system for computer-aided decision on the basis of multiple criterion (discrete, continuous or mixed). Optimizations by means of random search methods for static models or dynamic processes and with n...
详细信息
REH is a program system for computer-aided decision on the basis of multiple criterion (discrete, continuous or mixed). Optimizations by means of random search methods for static models or dynamic processes and with non-convexe/concave object functionals and non-connected control domains, REH allowing the generation of Pareto-optimal decision proposals by means of a menu technique is discussed.
This paper presents a state analysis of multiprogramming, using the concept of cusp catastrophe in the theory of catastrophe. Based on the result, the catastrophic phenomena in the multiprogramming system are analyzed...
详细信息
This paper presents a state analysis of multiprogramming, using the concept of cusp catastrophe in the theory of catastrophe. Based on the result, the catastrophic phenomena in the multiprogramming system are analyzed. It is shown first that the multi-programming system exhibits two stable states, i.e., monostable and bistable states, for the change of job generation rate and the change of the maximum multiprogramming level. Then it is shown that a rapid change (catastrophe) of the performance of the multiprogramming system, such as the mean number of jobs in the system, throughput and response time, may occur with the change of the stable state of the system. Furthermore, it is shown that for given job generation rate, there exists a maximum multiprogramming level which maximizes the throughput and minimizes the response time.
The Flagship machine is a distributed system in which declarative language programs are evaluated using graph reduction. The system software faces two problems: handling state in a declarative world and sharing resour...
详细信息
The Flagship machine is a distributed system in which declarative language programs are evaluated using graph reduction. The system software faces two problems: handling state in a declarative world and sharing resources in a distributed world. In order to solve these problems, the Flagship system software makes use of non-declarative features. However, these features are implemented using mechanisms which ensure consistency of shared state and of distributed resources. Aspects of protection are provided by binding and context mechanisms, and there is an explicit protection domain defined by the environment of a computation.
Sorting processes in switching networks are considered. New types of permutations are proposed, and logical operations over permutations are introduced. Some important identities of permutation algebra are analyzed. T...
详细信息
Sorting processes in switching networks are considered. New types of permutations are proposed, and logical operations over permutations are introduced. Some important identities of permutation algebra are analyzed. Two parallel sorting algorithms are obtained, for which the amount of labor involved in implementing them is determined. Comparative analysis of one of the proposed algorithms and the available ones confirms that the former is effective.
Program systems for symbolic algebraic computations (computer algebra systems) have been developed since the early fifties and are used more and more in many fields of mathematics, computer science, science and engine...
详细信息
Program systems for symbolic algebraic computations (computer algebra systems) have been developed since the early fifties and are used more and more in many fields of mathematics, computer science, science and engineering as well. In this paper a survey is given on some of the most important systems of that kind. Their capabilities are shown with the example of the system REDUCE for which applications are given. Possibilities and advantages of using it in mechanical engineering are pointed out.
Sorting is probably the most frequently performed task in data processing. Since the early days of computer Science, different approaches are taken in the design of sorting algorithms. This paper presents a method to ...
详细信息
Sorting is probably the most frequently performed task in data processing. Since the early days of computer Science, different approaches are taken in the design of sorting algorithms. This paper presents a method to sort η - elements based on repetative finding of maximum and minimum. This method enjoys two advantages. Firstly, it is quite simple to state, analyse and program. Secondly, time complexity and space complexity are same as that of selection sort. Further, it has been observed that if we restore the intermediate results, then the number of comparisons needed to sort η - elements may be same as that of the order of minimum comparisons.
Features of a system software for a professional personal hybrid computer have been described. 'Free setup' technology of computerprogramming is based on a matrix-to-module principle of computer-aided analog ...
详细信息
Features of a system software for a professional personal hybrid computer have been described. 'Free setup' technology of computerprogramming is based on a matrix-to-module principle of computer-aided analog processor organization. Special attention is drawn to subsystems of dialogue and optimal scaling.
Concurrency has been with us almost from the beginning of computing. Managing and programming for concurrency is a difficult problem and various solutions have been suggested over the years. Debates on message passing...
详细信息
Concurrency has been with us almost from the beginning of computing. Managing and programming for concurrency is a difficult problem and various solutions have been suggested over the years. Debates on message passing vs. remote procedure call, synchronous vs. asynchronous message passing, bounded vs. unbounded buffers, active vs. passive objects etc. still continue. No solution is entirely satisfactory. Concurrent programming usually depends heavily on the nature of the problem at hand and the architecture of the target machine. This article argues that object-oriented programming may bring new hope for a better solution for the concurrent programming problem.
暂无评论