摘要:

AbstractThis paper describes the goals and the internal structure of MOS, a Multicomputer distributed Operating System. MOS is a general‐purpose time‐sharing operating system which makes a cluster of loosely connected independent homogeneous computers behave as a single‐machine UNIX system. The main goals of the system include network transparency, decentralized control, site autonomy and dynamic process migration. The main objective in the design of the system was to reduce the complexity of the system, while maintaining good performance. The internal structure of the system can be characterized by modularity, a high degree of information hiding, hierarchical organization and remote procedure

ISSN:0038-0644    

DOI:10.1002/spe.4380150802

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractThis paper gives the rationale for the design of a nucleus to support real time control applications. In particular, mechanisms for communication between concurrent tasks are reviewed and analysed in the context of this application area. Finally, although no implementation is discussed in detail, techniques which have proved useful in implementing this nucleus on three different machines are described.

ISSN:0038-0644    

DOI:10.1002/spe.4380150803

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractMost programs which involve character to integer conversion fail to detect integer overflow correctly. This paper describes some of the pitfalls of not recognizing overflow, and presents a correct method for doing so in an arbitrary base for any precision.

ISSN:0038-0644    

DOI:10.1002/spe.4380150804

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractThis paper examines how the ‘MASCOT machine’ and the Modula‐2 language may be used together as a basis for engineering a range of real‐time systems. It is shown that Modula‐2 provides the features required for a satisfactory MASCOT implementation language without the normal need to add extra features or use preprocessing. The paper also describes how the MASCOT design tools can be interpreted more widely than has previously been considered in order to provide support for a large range of

ISSN:0038-0644    

DOI:10.1002/spe.4380150805

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractA description of an interactive geometric editor for the layout of very large scale NMOS integrated circuits is presented. The implementation of the VLSI Interactive Layout Editor (VILE) using an HP2648A Graphics Terminal connected to a mainframe computer is described. The command language for the user‐computer interface is described, and to demonstrate the use of the editor an example of an integrated circuit layout is documente

ISSN:0038-0644    

DOI:10.1002/spe.4380150806

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractAmong the advantages claimed for a purely functional programming style is ease of designing and implementing large programs. However, little experience of actually doing so has been gained so far. The experience of writing a particular medium sized program in a functional language is described here, with particular emphasis on the differences in programming style that were appropriate. This is compared with the experience of writing a very similar program in an imperative language. The main conclusions appear to be that the functional version was significantly easier to write, and was considerably smaller, though not by as large a factor as is sometimes claimed; that strong typing is, if anything, more desirable than in imperative systems; and that the question of debugging functional programs needs further research attention.

ISSN:0038-0644    

DOI:10.1002/spe.4380150807

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractWe compare the American and international standards for Pascal and make suggestions to help implementors and programmers achieve the greatest possible compatibility with both standards.

ISSN:0038-0644    

DOI:10.1002/spe.4380150808

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380150801

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY