摘要:

AbstractDespite a long‐established body of relevant computer science, lack of precise specification of certain aspects of FORTRAN and deviation from the published standards permit the construction of non‐standard programs which run under different systems to give contradictory results. This paper highlights certain deviant features of DO‐

ISSN:0038-0644    

DOI:10.1002/spe.4380160302

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThis paper presents CONTEXT, an on‐line documentation system that is simple in concept and implementation. In spite of the simplicity, CONTEXT still provides substantial power and ease‐of‐use in accessing material in structured on‐line manuals. This paper provides an overview of the system from both the writer's and the user's pers

ISSN:0038-0644    

DOI:10.1002/spe.4380160303

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThis paper reports on an experimental study of theprobe effect, defined as an alteration in the frequency of run‐time computational errors observed when delays are introduced into concurrent programs. If the concurrent program being studied has no synchronization errors, then there is no probe effect. In the presence of synchronization errors, the frequency of observable output errors for a sample experimental program starts at a high value for small delays, oscillates rapidly as the delay is increased, and apparently settles at zero errors for larger values of delay. Thus, for sufficiently large delays, the probe effect can almost completely mask synchronization errors in concurrent programs. For sufficiently large concurrent process sets, even small values of embedded delay may mask synchronization errors, provided side effects in shared memory are not included in the observatio

ISSN:0038-0644    

DOI:10.1002/spe.4380160304

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractExpositions of sequential master file updating are usually concerned only with insertions of new records, alterations or deletions of existing records and with the joint processing of these transactions. In actual practice other types of file transactions may also be needed, such as printing of (parts of) records, preventing possible alterations of certain records, etc. A general framework for dealing as well with such transactions in one processing run is presented. Simplifications of this framework are possible for random‐access file

ISSN:0038-0644    

DOI:10.1002/spe.4380160305

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractVIADUCT is a very high‐level non‐procedural language designed to simplify usage of MDBS, a microcomputer database management system. Users need not have any knowledge of the structure of the database, because no path through the database is specified in a VIADUCT command. Instead, VIADUCT automatically determines which of a number of paths should be traversed in order to process the command. As this choice of path can critically affect the processing time required, VIADUCT chooses that path which is most likely to minimize the number of record occurrences retrieved from the database. But when a command can have more than one valid semantic interpretation, VIADUCT computes and then displays the alternative paths from which the user is required to make a choice.Following a brief description of relevant aspects of MDBS, an overview of VIADUCT is given. The body of the paper describes the algorithms that are used to find paths through the database, as well as the path‐traversal algorithms. An evaluation of VIADUCT is presented and some restrictions

ISSN:0038-0644    

DOI:10.1002/spe.4380160306

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractParsing can be applied to compress source programs. A suitably encoded parse tree, together with the symbol table, constitutes a very compact representation of the program. The paper reports a Prolog implementation of the method, including automatic, syntax‐directed, encoder and decoder generators. The test results show compression gains of 50–60 per c

ISSN:0038-0644    

DOI:10.1002/spe.4380160307

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThis paper describes an implementation of a software interface designed for use from within UNIXUNIX is a trademark of A T&T Bell Laboratories.application programs for network communications. This interface provides the abstraction of possibly very large datagrams, supports ‘scatter‐gather’ facilities, and maintains standard network addresses consisting of (host number; port number) pairs. This interface has been provided on different data communication facilities, allowing uniform program access to those facilities. The particular implementation developed for a local area network is described, and performance results obtained are examined and compared with those obtained from a conventional datagram interface to that network. The results obtained confirm that the abstraction of very large datagrams enables the construction of an efficient mechanism for process‐to‐process communications over the network that is not only more convenient, but also has significant performance advantages over the use of conventional (small)

ISSN:0038-0644    

DOI:10.1002/spe.4380160308

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractDocuments are increasingly often read from computer screens rather than from paper. This paper describes a tool, called GUIDE, which allows readers of computer‐based documents to peruse these documents at any desired level of detail. GUIDE covers any kind of textual document, and is designed for environments where both author and readers are lay user

ISSN:0038-0644    

DOI:10.1002/spe.4380160309

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380160310

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380160301

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY