Many programs have been and are currently being developed in which the input files or associated data bases must be produced independently of the main program. This article describes two programs which are used to dev...
详细信息
Many programs have been and are currently being developed in which the input files or associated data bases must be produced independently of the main program. This article describes two programs which are used to develop an interactive, menu-driven system of input prompts which is then used to create and maintain information files for other programs. The two program system provides an easy method to develop well-structured, interactive input programs without the high development costs required to write original code. Graphics can be developed for any input screen and a command language can be specified for data output. Two examples are provided to present an overview of the system.
This article describes a family of general-purpose discriminating/thresholding techniques for processing documents containing line copy information (LC), continuous tone information (CT) and halftone information (HT)....
详细信息
This article describes a family of general-purpose discriminating/thresholding techniques for processing documents containing line copy information (LC), continuous tone information (CT) and halftone information (HT). The picture elements (PELs) of a scanned document are automatically classified as either line copy (LC) or nonline copy (NLC) and then thresholded accordingly. Devices for making this classification are referred to as 'discriminators'. Devices for thresholding the classified PELs are known as 'thresholders'. This article discusses a family of discriminators and thresholders that can be combined in various ways to cover the range of quality, function and cost.
Brownian motion is shown to be a useful tool in analysing some sorting and tree manipulation algorithms. Some of these results could perhaps be obtained by combinatorial techniques but probably with much effort. Moreo...
详细信息
Brownian motion is shown to be a useful tool in analysing some sorting and tree manipulation algorithms. Some of these results could perhaps be obtained by combinatorial techniques but probably with much effort. Moreover, the B. M. approach sheds some light on the asymptotic behaviour of many algorithms.
The running time of Shellsort, with the number of passes restricted to O (log N ), was thought for some time to be Θ(N 3 2 ) , due to general results of Pratt. Sedgewick recently gave an O(N 4 3 ) bound, but extensio...
详细信息
The running time of Shellsort, with the number of passes restricted to O (log N ), was thought for some time to be Θ(N 3 2 ) , due to general results of Pratt. Sedgewick recently gave an O(N 4 3 ) bound, but extensions of his method to provide better bounds seem to require new results on a classical problem in number theory. In this paper, we use a different approach to achieve O(N 1 + ε √1 g N ) for any ε0.
Discussed in this paper are the underlying principles of a programmer productivity measuring system. The key measures (or metrics) are people and lines of code. Definitions of these metrics are refined and qualified, ...
详细信息
Discussed in this paper are the underlying principles of a programmer productivity measuring system. The key measures (or metrics) are people and lines of code. Definitions of these metrics are refined and qualified, according to the conditions under which they are used. Presented also is a data base design for retaining and retrieving these metrics under a wide variety of applications and other circumstances. Depending on definitions, applications, and other circumstances productivity measurements may differ widely.
Code generation techniques are used to program an application characterized by complexity arising from many special cases, and rapid changes due to advances in the state of the art. A formal notation—an inverted deci...
详细信息
Code generation techniques are used to program an application characterized by complexity arising from many special cases, and rapid changes due to advances in the state of the art. A formal notation—an inverted decision table written in a propositional logic form—is developed as a means for allowing expert users to describe the application in a knowledge base that code generators then can use to create production code. The complete system described in the paper automatically transforms a one thousand-page specification into a running program. The development of this system is an example of the formalization of the specification of a complex application. In this case the application is a part of the Job Management Operations System, an operational support system to aid regional Bell Operating Company construction and engineering processes. The techniques described, however, can be generalized.
A means for planning a series of program system tests which assure maximizing the expected value of their operating probability following the completion of each series of tests is proposed.
A means for planning a series of program system tests which assure maximizing the expected value of their operating probability following the completion of each series of tests is proposed.
A mathematical model is proposed for a multiprogram computational process in which the interaction between applied problems and the data is described at the level of the physical blocks of sets of the database of the ...
详细信息
A mathematical model is proposed for a multiprogram computational process in which the interaction between applied problems and the data is described at the level of the physical blocks of sets of the database of the computational system.
The selection of efficient multiplication and transposition algorithms for matrices of any size on computers with a common instruction flow architecture is discussed from the point of view of computing complexity, acc...
详细信息
The selection of efficient multiplication and transposition algorithms for matrices of any size on computers with a common instruction flow architecture is discussed from the point of view of computing complexity, accuracy, versatility, and implementation simplicity.
The article focuses on formalization of the semantics of sequential and parallel sorting algorithms using the apparatus of Glushkov's systems of algorithmic algebras and their modifications. We particularly consid...
详细信息
The article focuses on formalization of the semantics of sequential and parallel sorting algorithms using the apparatus of Glushkov's systems of algorithmic algebras and their modifications. We particularly consider formal transformation of sorting algorithms with the purpose of optimizing them by a set of given criteria.
暂无评论