Algorithms for sorting have occupied the collective mind of the computer fraternary possibly more than any other kind. Various sorting algorithms are reviewed, from highly sophisticated efficient Quicksort to the simp...
详细信息
Algorithms for sorting have occupied the collective mind of the computer fraternary possibly more than any other kind. Various sorting algorithms are reviewed, from highly sophisticated efficient Quicksort to the simple and inefficient Bubble Sort.
An approach to efficiently customizing programs is developed here. A Pascal-like language has been developed for which the transformational semantics of ordinary and mixed computations have been constructed. The attai...
详细信息
An approach to efficiently customizing programs is developed here. A Pascal-like language has been developed for which the transformational semantics of ordinary and mixed computations have been constructed. The attainment of a system is described through which parsers were obtained for several existing programming languages. The results of a machine experiment are presented.
A new method for stable merging of two segments A(1..m), A(m+1..n) into A(1..n) in O(n) time is presented. There are no restrictions on n or m and the algorithm requires O(n1/2) workspace. The corresponding procedure ...
详细信息
A new method for stable merging of two segments A(1..m), A(m+1..n) into A(1..n) in O(n) time is presented. There are no restrictions on n or m and the algorithm requires O(n1/2) workspace. The corresponding procedure is given in Pascal together with results of time measurements on samples of random integers.
The author surveys many of the issues involved in designing online documentation. She covers choosing a goal for online documentation, understanding the constraints on a design, and understanding the implications of a...
详细信息
The author surveys many of the issues involved in designing online documentation. She covers choosing a goal for online documentation, understanding the constraints on a design, and understanding the implications of a design for writers and users. The survey is mostly from the perspective of a designer or project planner concerned with issues in both software development and document development.
The author extends the second-order lambda calculus, permitting the definition of least and greatest solutions to positively defined type expressions using type constructors mu and nu , respectively. Strong normalizab...
详细信息
ISBN:
(纸本)0818607939
The author extends the second-order lambda calculus, permitting the definition of least and greatest solutions to positively defined type expressions using type constructors mu and nu , respectively. Strong normalizability of typed terms is shown using Girard's candidates-for-reduction method. Using the same structure built for that proof, he proves a necessary and sufficient condition for when a collection of type constraints admit the typing of only strongly normalizable terms.
The definition of multiselection is given, as are two related algorithms, for sequential and distributed Quicksort-based (m,n)-selection. A distributed sorting algorithm based on distributed multiselection, which impr...
详细信息
ISBN:
(纸本)0818607807
The definition of multiselection is given, as are two related algorithms, for sequential and distributed Quicksort-based (m,n)-selection. A distributed sorting algorithm based on distributed multiselection, which improves on existing algorithms, is also proposed.
Two methodologies are presented for reducing the problems of overflow, underflow, and context switching that exist in overlapping register window organizations. These methodologies are: (1) the inclusion of hardware t...
详细信息
Two methodologies are presented for reducing the problems of overflow, underflow, and context switching that exist in overlapping register window organizations. These methodologies are: (1) the inclusion of hardware that performs transparent storage and recovery of inactive register frames to and from memory and (2) the replacement of procedure calls with the code of the procedure called, or inline procedure expansion. The advantages of the methodologies are weighed against the additional hardware and software complexity.
The details of factored tables and their uses in RNS multiplication and addition are explained. Optical circuitry necessary for their implementation is given.
ISBN:
(纸本)0936659661
The details of factored tables and their uses in RNS multiplication and addition are explained. Optical circuitry necessary for their implementation is given.
Concurrent activities have been formally modeled by two different approaches: either by modeling shared control flow or by modeling shared data. Modeling control requires global reasoning about the ordering of shared ...
详细信息
ISBN:
(纸本)0818608013
Concurrent activities have been formally modeled by two different approaches: either by modeling shared control flow or by modeling shared data. Modeling control requires global reasoning about the ordering of shared events;transaction models only require local reasoning but are unable to capture some concurrent activities that can be modeled as communicating sequential processes. Nested objects do not suffer from either of these drawbacks. A model for nested objects is presented which is demonstrated by expressing three variations of the dining philosophers problem. It is shown how nested objects may exhibit nonserializable behavior and still be considered correct.
The authors discuss the Munich Simulation computer (MuSiC), a special-purpose, highly parallel programmable update data flow computer based on the process-oriented language OCCAM and the Transputer. For a first feasib...
详细信息
The authors discuss the Munich Simulation computer (MuSiC), a special-purpose, highly parallel programmable update data flow computer based on the process-oriented language OCCAM and the Transputer. For a first feasibility study the pipeline stages and 2 multiplied by 2 routers of a four-processor prototype of MuSiC have been one-to-one mapped on the Transputers of a 60-Transputer net, which offers enough computational performance to emulate MuSiC's concurrent operations faithfully.
暂无评论