This paper describes a simplification and deduction procedure on equality and partial ordering theory, as well as its implementation. It also deals with the problem of finding loop invariants for program verification,...
详细信息
This paper describes a simplification and deduction procedure on equality and partial ordering theory, as well as its implementation. It also deals with the problem of finding loop invariants for program verification, making use of the simplification capability. Simplifier based on this procedure is a component of VFPL Verifier, a problem-oriented verifier that deals with file processing programs. The method makes use of graph processing technique. Its characteristics are: i) efficient, especially for handling theorems for program verification;ii) relatively simple and easy to implement;iii) possible to treat both less than and less than equivalent to relations explicitly.
A mathematical model of a multiprogram computational process in a single-computer system is described that operates in the batch processing mode. The model is based on the fragmentation method which makes it possible ...
详细信息
A mathematical model of a multiprogram computational process in a single-computer system is described that operates in the batch processing mode. The model is based on the fragmentation method which makes it possible to reduce the analysis of the process to the study of a finite set of fragmentary states of the latter.
An input/output (I/O) task prediction mechanism is described whereby a microprocessor located in an I/O controller can determine the future workload of an I/O device coupled to the I/O controller in a manner which is ...
详细信息
An input/output (I/O) task prediction mechanism is described whereby a microprocessor located in an I/O controller can determine the future workload of an I/O device coupled to the I/O controller in a manner which is transparent to and concurrent with the operation of the operating system in a host processor. This is accomplished by enabling the microprocessor in the I/O controller to access control tables and queues in the host processor operating system to determine in advance the task to be required of its associated I/O device.
This article describes a method for operating a computing apparatus in which a plurality of subsystem instances are selectively connectable to an information management system to enable an application program running ...
详细信息
This article describes a method for operating a computing apparatus in which a plurality of subsystem instances are selectively connectable to an information management system to enable an application program running under the information management system to specify and change the subsystem to which service requests from the application are directed.
Decision tables, graphic representations of logic problems, are considered tat can yield structured programs suitable for use on personal computers. A method is presented that is a shortened and simplified form of oth...
详细信息
Decision tables, graphic representations of logic problems, are considered tat can yield structured programs suitable for use on personal computers. A method is presented that is a shortened and simplified form of other techniques. Although no programs are given here, the method is designed with ease of programming implementation in mind. The use of plus 1 and minus 1 makes it easy to perform the operations of decision tables. The format and transformations of decision tables are shown, program generation is described, and various hints for program design are given.
A close look at the problems of coordinating work activities in a programming environment is considered as an essential part of developing a comprehensive programming environment. Important aspects of the work being d...
详细信息
A close look at the problems of coordinating work activities in a programming environment is considered as an essential part of developing a comprehensive programming environment. Important aspects of the work being done within ITT are presented and the use of role/activity theory and coordination systems is detailed.
Design considerations of a relational algebra machine GRACE are described. GRACE adopts a novel relational algebra processing algorithm based on hash and sort and can execute heavy load operations such as join, projec...
详细信息
Design considerations of a relational algebra machine GRACE are described. GRACE adopts a novel relational algebra processing algorithm based on hash and sort and can execute heavy load operations such as join, projection (duplicate elimination), and set operations etc. much more efficiently. The abstract architecture is presented, which consists of three major components, Data Stream Processor (DSP), Data Stream Generator (DSG), and Secondary Data Manager (SDM). Data stream is manipulated during the data transfer from the source DSG to the destination DSG. The operator level pipeline effect is explained by which hashing phase is overlapped with the relational algebra processing and GRACE can execute a complex query including many heavy load operations efficiently without time overhead of hashing.
The authors describe the program system of the protocol- and data analyzer designed in cooperation with the Central Research Institute of Physics (KFKI). It is a modular system, its elements as well as the whole, can ...
详细信息
The authors describe the program system of the protocol- and data analyzer designed in cooperation with the Central Research Institute of Physics (KFKI). It is a modular system, its elements as well as the whole, can be extended by further development of the software.
The article considers the design of data input and checking programs (DICP) based on the single-pass compiler scheme. A number of standard DICP blocks coded in PL/1 are described. The method supports automatic correct...
详细信息
The article considers the design of data input and checking programs (DICP) based on the single-pass compiler scheme. A number of standard DICP blocks coded in PL/1 are described. The method supports automatic correction of errors of certain types, shorthand coding of repeating groups of attributes, and availability of comments in the input data. It is especially useful for the design of interactive DICP's.
A traditional approach to documenting hardware designs is considered equally useful for documenting software. Software schematics - illustrating concepts, not just implementation details - are described that go far be...
详细信息
A traditional approach to documenting hardware designs is considered equally useful for documenting software. Software schematics - illustrating concepts, not just implementation details - are described that go far beyond flowcharts. Two general categories of software schematics, block diagrams and data structures, are also described and illustrated. Examples are furnished to show how software schematics help document the design - not merely the use - of system-level software modules, an increasingly important consideration. Some guidelines are also furnished to keep the schematics consistent.
暂无评论