A model of computation is introduced which permits the analysis of both the time and space requirements of non-oblivious programs. Using this model, it is demonstrated that any algorithm for sorting n inputs which is ...
详细信息
A model of computation is introduced which permits the analysis of both the time and space requirements of non-oblivious programs. Using this model, it is demonstrated that any algorithm for sorting n inputs which is based on comparisons of individual inputs requires time-space product proportional to n**2. Uniform and non-uniform sorting algorithms are presented which show that this lower bound is nearly tight.
With text processing growing in importance as a computer application, the problems of sorting and merging will be encountered with increasing frequency. Various techniques have been used in ordering alphabetic strings...
详细信息
With text processing growing in importance as a computer application, the problems of sorting and merging will be encountered with increasing frequency. Various techniques have been used in ordering alphabetic strings, but text processing, involving upper- and lower-case alphabets, introduces an extra degree of freedom and complexity to the problem. This paper presents APL models of a solution for the generalized sorting problem.
Algebraic specification technique for the description of data types is considered. It consists of two parts: (1) the syntactic specification providing a finite set of operation symbols together with domain and range i...
详细信息
Algebraic specification technique for the description of data types is considered. It consists of two parts: (1) the syntactic specification providing a finite set of operation symbols together with domain and range information; (2) the semantic specification consisting of a finite set of ″equations″ built from operation symbols, constants, and variables. The technique bears a number of problems which are discussed in the paper.
The GD80 graphic display family with its modular architecture has been designed to cover a large range of CAD applications. Five microprocessors are dedicated for different tasks, peripheral handling, picture processi...
详细信息
The GD80 graphic display family with its modular architecture has been designed to cover a large range of CAD applications. Five microprocessors are dedicated for different tasks, peripheral handling, picture processing and generation, application programming and communication with a host. Different multiprocessing methods: common bus for data transfer and interprocessor interrupt, memory sharing with mutual exclusion, dual-port memories, FIFO-s, bus windows and microprogrammed multiprocessing are used for interprocessor communication. Standard 8 bit microprocessors and high speed, horizontally microprogrammed special processors are the basic building blocks of the graphic system described.
UDS**2 is a BCS developed prototype software design specification system consisting of a comprehensive, well-integrated system of automated design tools intended for a production environment. UDS**2 provides the softw...
详细信息
UDS**2 is a BCS developed prototype software design specification system consisting of a comprehensive, well-integrated system of automated design tools intended for a production environment. UDS**2 provides the software designer with a design specification language (SPECLE) and a set of automated tools which (1) generate documentation; (2) analyze the software design; and (3) at some point in the future, will generate source code directly from the SPECLE specification. UDS**2 is implemented on several large scale delivery systems and is currently being tested on several real-world projects.
Universal development system is suggested, using a DEC LSI-11 microcomputer, which handles all aspects of program generation, from the initial creation of the source code to the installation of the production program,...
详细信息
Universal development system is suggested, using a DEC LSI-11 microcomputer, which handles all aspects of program generation, from the initial creation of the source code to the installation of the production program, including interactive debugging of target programs while actually running in the target device. The system is based on a software package called MicroAde, developed to provide means of developing programs for a variety of microprocessors, while maintaining a mode of operation independent of the microprocessor for which the code is being generated.
The development of software for microcomputers for use in educational environments is discussed. The suggestions presented should assist in the appropriate selection of the software and in being aware of the care nece...
详细信息
The development of software for microcomputers for use in educational environments is discussed. The suggestions presented should assist in the appropriate selection of the software and in being aware of the care necessary in presenting the material to a student.
0(k log N) algorithms are obtained for permuting and sorting N data items on cube and perfect shuffle computers with N**1** plus **1**/**k processing elements, 1 less than equivalent to k less than equivalent to log N...
详细信息
0(k log N) algorithms are obtained for permuting and sorting N data items on cube and perfect shuffle computers with N**1** plus **1**/**k processing elements, 1 less than equivalent to k less than equivalent to log N. These algorithms directly lead to a generalized-connection-network construction having 0(k log N) delay and 0(k N**1** plus **1**/**k log N) contact pairs. This network has the advantage that the switches can be set in 0(k log N) time by either a cube or perfect shuffle computer with N**1** plus **1**/**k processing elements.
An algorithm which solves the critical section problem for distributed processes is presented. The solution of L. Lamport is extended by continuing to allow processes to access their respective critical sections in an...
详细信息
An algorithm which solves the critical section problem for distributed processes is presented. The solution of L. Lamport is extended by continuing to allow processes to access their respective critical sections in any arbitrary user-specified order, but with greatly reduced storage requirements for each process. In addition, a facility is supplied for testing the presence of deadlock among processes waiting to enter their critical code. The scheme is shown to be tolerant of several malfunctioning processors, and derive an equation relating the probability of total system failure to the probability of many individual failures occurring simultaneously among the processors.
The data structures for general searching problems are studied. One of the transformations is discussed which is used for converting solutions of simple searching problems to solutions of more complex ones. Conditions...
详细信息
The data structures for general searching problems are studied. One of the transformations is discussed which is used for converting solutions of simple searching problems to solutions of more complex ones. Conditions of applicability of this transformation are specified and its correctness is proved by using the Alphard form mechanism.
暂无评论