The generator for current types of program package is discussed, which synthesizes the program for running a particular job in a high-level language (Fortran or PL/1). The algorithm for the Fortran program generator i...
详细信息
The generator for current types of program package is discussed, which synthesizes the program for running a particular job in a high-level language (Fortran or PL/1). The algorithm for the Fortran program generator is described. The resulting initial program can be used independently of the program package.
An algebraic model of an automated information search system is constructed which connects the search of relevant documents with the solution of a system of linear equations in a linear space over the field Z//2.
An algebraic model of an automated information search system is constructed which connects the search of relevant documents with the solution of a system of linear equations in a linear space over the field Z//2.
The paper considers a special problem of sorting for sets with repeated elements under the restriction that not all elements are permutable with one another. An algebraic characterization of inhomogeneous sorting is g...
详细信息
The paper considers a special problem of sorting for sets with repeated elements under the restriction that not all elements are permutable with one another. An algebraic characterization of inhomogeneous sorting is given. A relation is established with the problem of finding the minimal topological sorting for a partially ordered set.
A study was undertaken to validate several mathematical models for predicting the reliability and error content of a software package against error data extracted from the formalized testing of four large Department o...
详细信息
A study was undertaken to validate several mathematical models for predicting the reliability and error content of a software package against error data extracted from the formalized testing of four large Department of Defense software development projects. This paper will describe the results of this empirical study for three such models, the Jelinski-Moranda, Schick-Wolverton, and a modified Schick-Wolverton, using both Maximum Likelihood (ML) and Least Squares (LS) methods for estimating model parameters. Model predictions are compared on total project, functional and error severity basis. Model predictions are also compared on an errors/day and errors/week basis for defining model time intervals. From this analysis conclusions are drawn concerning the application of these models, with the principal conclusion being that model predictions should be begun when all modules in a system are ready for testing.
A description is given of an instrumental complex for automatic construction of multilanguage translating systems. The general functional scheme is described along with facilities that reduce the effort in transferrin...
详细信息
A description is given of an instrumental complex for automatic construction of multilanguage translating systems. The general functional scheme is described along with facilities that reduce the effort in transferring the systems to computers of different types.
A control program (COPTEX) for the Telettra exchange AFDTI has been implemented using a process structure. This approach makes it possible to identify the activities needed for the required functions by a set of concu...
详细信息
A control program (COPTEX) for the Telettra exchange AFDTI has been implemented using a process structure. This approach makes it possible to identify the activities needed for the required functions by a set of concurrent processes, thus requiring the availability of a real-time executive. It has to solve some basic, well known problems: process competition and communication;interaction between processes and external devices;definition of an efficient scheduling algorithm. The basic features of TEX (Telettra Executive), the real-time executive purposely designed for AFDTI, are described.
The present article contains proposals on formalization of one of the aspects of optimal programming-realization of cyclic sorting of a sequence of variable addresses.
The present article contains proposals on formalization of one of the aspects of optimal programming-realization of cyclic sorting of a sequence of variable addresses.
This paper reports the results which have been achieved by investigating a method to support specification and design of software which is based on data structures. This method was applied to construct software for lo...
详细信息
This paper reports the results which have been achieved by investigating a method to support specification and design of software which is based on data structures. This method was applied to construct software for low-level communication procedures. While dealing with communication software, a lot of communication problems arise among people as well as among computers, and in particular between people and computers - so that a well-fitting software tool might be extremely useful. The method investigated is basically proposed by M. A. Jackson. It did not eliminate all those problems, and it proved to be a remarkable step towards a more reliable communication software.
A new concept of multi-key sorting is introduced. This new kind of sorting is designed based on the assumption that records are characterized by more than one key and it is necessary to sort them according to this set...
详细信息
A new concept of multi-key sorting is introduced. This new kind of sorting is designed based on the assumption that records are characterized by more than one key and it is necessary to sort them according to this set of keys, instead of the primary key only. After this sorting, a partitioning can be easily done. Experimental results showed that this method is feasible.
The paper considers a multiprocessor comprising identical processors;a scheduling optimization problem is solved by introducing and defining a complex time/storage criterion.
The paper considers a multiprocessor comprising identical processors;a scheduling optimization problem is solved by introducing and defining a complex time/storage criterion.
暂无评论