Following is a continuation of the list of titles and authors. Fault Locating Test Generation for Combinational Logic Networks. By Y. Koga and F. Hirata. Homing Sequence Generation Algorithm for Fault Detection in Asy...
详细信息
Following is a continuation of the list of titles and authors. Fault Locating Test Generation for Combinational Logic Networks. By Y. Koga and F. Hirata. Homing Sequence Generation Algorithm for Fault Detection in Asynchronous Sequential Circuits. By D. K. Chia and M. Y. Hsiao. Use of Spoofs for Faulty Logic Network Analysis. By F. W. Clegg. On Numerical Bounds in Diagnosable systems. By R. P. Vancura and C. R. Kime. computer Error Control by Testable Morphic Boolean Functions - A Way of Removing Hardcore. By W. C. Carter A. B. Wadia, and D. C. Jessep. Design of a Microprogram Control for Self-Checking. By R. W. Cook, W. H. Sisson, T. F. Storey and W. N. Toy.
Characteristics of user-developed software applications and their documentation requirements are reviewed, and the results of a study undertaken to identify factors affecting the level of documentation required by the...
详细信息
Characteristics of user-developed software applications and their documentation requirements are reviewed, and the results of a study undertaken to identify factors affecting the level of documentation required by these applications are reported. The results provide a framework to guide computer-using management in formulating standards for a broad spectrum of such applications.
On-line programming is an economic alternative to programming by batch processing. Having a terminal in his office, the programmer has at any time direct access to interactive compilers and effective debugging facilit...
详细信息
On-line programming is an economic alternative to programming by batch processing. Having a terminal in his office, the programmer has at any time direct access to interactive compilers and effective debugging facilities using very simple system commands, which results in a considerable reduction of the test period of a program system. Expensive manpower is saved for new projects which will be managed by programmers.
Concurrent object-oriented programmingsystems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the clas...
详细信息
Concurrent object-oriented programmingsystems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the classical transaction processing model successfully applied in databases and operating systems be integrated directly into COOPS facilities. This is clearly desirable, but by itself is too limiting. COOPS applications require several granularities of transaction-like facilities. A number of transaction-like mechanisms were addressed, and no doubt there are many others suitable for COOPS. This paper briefly surveys four basic levels of granularity that were discussed. The paper also discusses the author's plans for integrating medium granularity transactions - that is, classical transactions with atomicity and serializability as the correctness conditions - into Meld.
A proposal is based on a general model of interprocess communication and describes how this model is used to fit the requirements of terminal control. The resulting class of terminal protocols uses one simple command ...
详细信息
A proposal is based on a general model of interprocess communication and describes how this model is used to fit the requirements of terminal control. The resulting class of terminal protocols uses one simple command set whereas the protocol for one specific terminal is derived by defining the appropriate data structure for that terminal. The complexity of a given terminal protocol therefore solely depends upon the complexity of its data structure. As an example, a protocol definition for a simple ″line″ and ″page″ mode terminal is given.
暂无评论