A technique is described for enhancing the optimization of implicitly declared variables using the PL/I Optimizing Compiler. The technique includes a program which is implemented as a Time Sharing Option command proce...
详细信息
A technique is described for enhancing the optimization of implicitly declared variables using the PL/I Optimizing Compiler. The technique includes a program which is implemented as a Time Sharing Option command procedure.
The testing of large, real time, performance critical systems is discussed in light of experiences in the Ballistic Missile Defense (BMD) research community. The testing environment is described and the need for testi...
详细信息
The testing of large, real time, performance critical systems is discussed in light of experiences in the Ballistic Missile Defense (BMD) research community. The testing environment is described and the need for testing support throughout the development cycle is emphasized. Experiences and results from two research programs are described: (1) dealing with computer-aided testing of software systems and (2) applying program-proving techniques to the complexities of large software systems.
Multics (from Multiplexed Information and Computing Service) is the name of a new, general-purpose computer system developed by the computer System Research group at M. I. T. Project MAC, in cooperation with Honeywell...
详细信息
Multics (from Multiplexed Information and Computing Service) is the name of a new, general-purpose computer system developed by the computer System Research group at M. I. T. Project MAC, in cooperation with Honeywell information systems (formerly the General Electric Company computer Department) and the Bell Telephone Laboratories. This systemis designed to be a ″computer utility″ , extending the basic concepts and philosophy of the Compatible Timesharing System (CTSS, operating now on the IBM 7094 computer) in many directions, Multics is implemented initially on the Honeywell 645 computer system, an enhanced relative of the Honeywell 635 computer.
Consideration of the problem of triangulating a sparse matrix in a number of steps such that in each step all of the arithmetic operations that can be done in parallel are so executed. The object is to minimize the nu...
详细信息
Consideration of the problem of triangulating a sparse matrix in a number of steps such that in each step all of the arithmetic operations that can be done in parallel are so executed. The object is to minimize the number of such steps and at the same time to minimize the number of such operations. These two requirements are not compatible and both depend on the ordering of the matrix. A reordering algorithm which is a compromise is proposed. For a given ordering, an algorithm to sequence the operations in order to complete the triangulation in minimal number of steps is presented and bounds on the number of processors required are given. Experimental results on matrices of order 500 are reported.
Decision tables often exceed the given formats. Tables of this kind have to be decomposed into sub-tables. The problems arising can be solved with the aid of the formal systems described.
Decision tables often exceed the given formats. Tables of this kind have to be decomposed into sub-tables. The problems arising can be solved with the aid of the formal systems described.
The desire for a unified framework for all phases of work on an information processing system (including conception, analysis, programming, debugging, and maintenance) led to specifying a language whose basic concepts...
详细信息
The desire for a unified framework for all phases of work on an information processing system (including conception, analysis, programming, debugging, and maintenance) led to specifying a language whose basic concepts are minimal and yet sufficient to express all necessary notions. First CIVA's kernal is presented along with a notion of modularity. Then the constructs and relations of the language are defined in detail. Based upon this language, an entire system was created which facilitates the use of the resulting program-packages, including providing user-aids.
暂无评论