摘要:

AbstractKitrace is a software tool that allows dynamic interactive measurement of UNIXkernel performance to much greater precision than that available from kernel profiling. Developers can measure, to microsecond resolution, the time required by a complex kernel activity, including time spent waiting for I/O activity or user processes. Kitrace has also proven useful for debugging, especially in situations where traditional breakpointing would be undesirable or would change the behavior of the kernel.

ISSN:0038-0644    

DOI:10.1002/spe.4380250102

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY

摘要:

AbstractComputer vision, owing to the size and complexity of its tasks and its importance to industrial and economic growth, was selected as one of the grand challenge problems by the U.S. Federal High Performance Computing Program. Integration of vision operations is identified as a key element of the challenge. A system to integrate computer vision in a distributed environment is presented here. This system, called DeViouS, is based on the client/server model and runs in a heterogeneous environment of Unix workstations. Modern computing environments include large numbers of high‐powered workstations connected by a very fast network. Many of these computers are idle most of the time. DeViouS takes advantage of this feature of computing environments to distribute the execution of vision tasks.Two primary goals of DeViouS are to provide a practical distributed system and a research environment for vision computing. DeViouS is based on a modular design that allows experimentation in various aspects of algorithm design, scheduling and network programming. It can make use of any existing computer vision packages with very minor changes to DeViouS. DeViouS has been tested in an environment of SUN and Digital workstations and has shown substantial improvements in speed over sequential computing with negligible overhea

ISSN:0038-0644    

DOI:10.1002/spe.4380250103

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY

摘要:

AbstractThis paper describes our experience in capturing, using a formal specification language, a model of the knowledge‐intensive domain of oceanic air traffic control. This model is intended to form part of the requirements specification for a decision support system for air traffic controllers. We give an overview of the methods we used in analysing the scope of the domain, choosing an appropriate formalism, developing a domain model, and validating the model in various ways. Central to the method was the development of a formal requirements engineering environment which provided automated tools for model validation and maintenanc

ISSN:0038-0644    

DOI:10.1002/spe.4380250104

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY

摘要:

AbstractFunctional languages do not usually mesh well with embedded applications because of the need for special I/O device‐handling. By introducing a process model to a language, however, it becomes possible to express register‐level device operations and interrupts in a modular manner. This paper describes such a model, its implementation by extension to the Gofer programming system, and examples of its use. Performance results indicate that even this prototype interpretive system is adequate for small applications. The major gain of using a functional language is the ease with which abstraction can be layered over low‐level detail, improving both the readability of code and its tractab

ISSN:0038-0644    

DOI:10.1002/spe.4380250105

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY

摘要:

AbstractIn statistical testing, a model is developed to characterize the population of uses of the software, and the model is used to generate a statistically correct sample of all uses of the software. A software ‘usage model’ characterizes the population of intended uses of the software in the intended environment. Statistical testing based on a software usage model ensures that the failures that will occur most frequently in operational use will be found early in the testing cycle. The usage model is based on the software specification. The model can be developed in parallel with the software, thus shortening the elapsed time required to develop the deliver software.Usage modeling has been demonstrated to be an activity that improves the specification, gives an analytical description of the specification, quantifies the testing costs and, with statistical testing, provides a basis from which inferences of software reliability may be made. This paper describes the justification for statistical testing of software using a usage model, describes procedures for developing and using a usage model and discusses several usage modeling issues and recent advances in usage model applicati

ISSN:0038-0644    

DOI:10.1002/spe.4380250106

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY

摘要:

AbstractThe long division algorithm of Linger, Mills and Witt is discussed and found to be significantly slower than a recent algorithm developed by the author.

ISSN:0038-0644    

DOI:10.1002/spe.4380250107

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380250101

出版商:John Wiley&Sons, Ltd.    

年代:1995

数据来源: WILEY