An algorithm is described that allows log(n) processors to sort n records in just over 2n write cycles, together with suitable hardware to support the algorithm. The algorithm is a parallel version of the straight mer...
详细信息
An algorithm is described that allows log(n) processors to sort n records in just over 2n write cycles, together with suitable hardware to support the algorithm. The algorithm is a parallel version of the straight merge sort. The passes of the merge sort are run overlapped, with each pass supported by a separate processor. The intermediate files of a serial merge sort are replaced by first-in first-out queues. The processors and queues may be implemented in conventional solid logic technology or in bubble technology. A hybrid technology is also appropriate.
The paper discusses some of the limitations of conventional software testing during top-down development. Symbolic execution is proposed as a means of assisting in and improving the value of top-down testing. The attr...
详细信息
The paper discusses some of the limitations of conventional software testing during top-down development. Symbolic execution is proposed as a means of assisting in and improving the value of top-down testing. The attributes of a symbolic execution system (ATTEST) which facilitate such testing are described, and their use is outlined.
The paper describes completed work in applying dynamic testing and static analysis to the concurrent process software. The techniques were used in the program of creating an environment conducive to the production and...
详细信息
The paper describes completed work in applying dynamic testing and static analysis to the concurrent process software. The techniques were used in the program of creating an environment conducive to the production and testing of concurrent-process flight software.
This paper discusses the use of software work vectors as the fundamental form for workload characterization and modeling purposes. Software work is one of the basic properties of software physics, and has the property...
详细信息
This paper discusses the use of software work vectors as the fundamental form for workload characterization and modeling purposes. Software work is one of the basic properties of software physics, and has the property of being independent of processor speed, configuration design, and unaffected by other workload elements. The general vector form of characterization is shown, equations for calculating work given, an example is shown, and its uses considered.
Problems of software conversion and some recommendations about planning and implementation of this procedure are given including managing the entire conversion project, staff category suggestion, contracting for conve...
详细信息
Problems of software conversion and some recommendations about planning and implementation of this procedure are given including managing the entire conversion project, staff category suggestion, contracting for conversion services, estimating conversion costs, and benchmark portability.
The first section of this paper discusses the DAIS Executive from the Application Programmers point of view with respect to the capabilities required and the interface that is presented. The second section of this pap...
详细信息
The first section of this paper discusses the DAIS Executive from the Application Programmers point of view with respect to the capabilities required and the interface that is presented. The second section of this paper is from the point of view of implementation. This is concerned with the control and optimization of the system's resources: Processors, I/O, and memory. This view of the DAIS Executive is concerned with a given implementation and discusses the characteristics of the current DAIS Executive implementation.
The economic production of reliable computer system software requires an integrated set of management and development procedures, standards, and tools. A responsive methodology and software tools set is described, alo...
详细信息
The economic production of reliable computer system software requires an integrated set of management and development procedures, standards, and tools. A responsive methodology and software tools set is described, along with several unresolved software development issues and areas for methodological improvement.
Higher Order Software (HOS) is a formal methodology for the specification of large computer-based systems in a manner entirely independent of implementation. This methodology is discussed from the point of view of dat...
详细信息
Higher Order Software (HOS) is a formal methodology for the specification of large computer-based systems in a manner entirely independent of implementation. This methodology is discussed from the point of view of data-type specification, which in HOS is done algebraically. Some differences between the theory developed here and other approaches to algebraic data-type specification are also discussed.
To satisfy the requirements of real time applications, three techniques can be employed, involving either real time clock, programmable timers, or constrained programming. Designer of microcomputers will have the maxi...
详细信息
To satisfy the requirements of real time applications, three techniques can be employed, involving either real time clock, programmable timers, or constrained programming. Designer of microcomputers will have the maximum flexibility and power if a multitask executive system is available. In this paper, a nonpreemptive pseudo-asynchronous scheduler is adopted in a multitask system and implemented on a MCS6502 microcomputer. The programming example considered shows a number of superior characteristics absent in the constrained programming implementation. The storage overhead of the multitask approach can only be justified when the number of concurrent running processes is large.
Documentation standards have been developed by a variety of organizations, ranging from government to professional societies to individual companies. Although there are differences among these standards, there is fair...
详细信息
Documentation standards have been developed by a variety of organizations, ranging from government to professional societies to individual companies. Although there are differences among these standards, there is fairly general agreement on the content of documentation and on the need for good documentation. There is less agreement on the extent of verification and qualification that is implied by documentation or on the responsibility for doing the verification. Much of the variation between documentation standards reflects the needs of the persons preparing the standards. The user of computer programs must satisfy himself that the techniques he is using perform properly and are appropriate to the job. The professional societies have a role to perform in developing standards and providing experience in their use.
暂无评论