the usual maintenance techniques are not useful when dealing with non-stop softwaresystems. It is not possible to stop the system execution to update some of its components. Dynamic software replacement is a mechanis...
详细信息
A four-year undergraduate program in computer system engineering is proposed. this program provides the student withthe necessary background, at the elementary and advanced levels, for bothsoftware and hardware. the...
详细信息
A four-year undergraduate program in computer system engineering is proposed. this program provides the student withthe necessary background, at the elementary and advanced levels, for bothsoftware and hardware. the student in this program would have a balanced, broadly based education and a solid foundation in the basic concepts and practices necessary to enter the computer field. the proposed program meets the 1978 recommendations of the Association for computer Machinery (ACM) and their updates. It is compatible withthe 1983 IEEE computer Society model program in computer Science and engineering, and it fulfils the accreditation requirements of boththe Accreditation Board for engineering and Technology (ABET) and the computer Science Accreditation Board (CSAB).< >
the authors present a case study of a two-input-two-output ill-conditioned plant using the quantitative feedback theory (QFT) approach. No iterative steps were needed to find the controller, and a good compatibility w...
详细信息
the authors present a case study of a two-input-two-output ill-conditioned plant using the quantitative feedback theory (QFT) approach. No iterative steps were needed to find the controller, and a good compatibility with time domain performance was achieved. the pre-filter, on the other hand, required five iterations because the performance was given in the time domain. the Horowitz design philosophy which emphasize tolerances at each frequency and design to the exact uncertain plant, i.e. no norm-bounded uncertainty, justified itself as a design tool for ill-conditioned plants to achieve an economical bandwidth solution.< >
A topology-dependent expert system for DC design of a self-biased single transistor stage was developed and tested. the test case system was implemented in Turbo Prolog and was run on an XT-compatible personal compute...
详细信息
A topology-dependent expert system for DC design of a self-biased single transistor stage was developed and tested. the test case system was implemented in Turbo Prolog and was run on an XT-compatible personal computer. the rule-based system includes four groups of rules: heuristic, general network, topology-dependent network, and default rules. It is shown that the expert system mimics the human design procedure and can handle mathematically ill-defined design problems. A main inherent feature of the proposed expert system is its ability to produce a design solution for any given combination of non-conflicting input specifications.< >
the proceedings contains 99 papers. the following topics are dealt with: very large memories;new architectures;communications;special-purpose computers;operating systems;distributed programming and systems;computer-ai...
详细信息
the proceedings contains 99 papers. the following topics are dealt with: very large memories;new architectures;communications;special-purpose computers;operating systems;distributed programming and systems;computer-aided softwareengineering;softwareengineering;artificial intelligence;natural language processing;foundations of computer science;knowledge bases;databases;information technology;copyright and patent protection for software and interfaces;managing bibliographic data;computers in education;image processing;intelligent vehicle highway systems;and reactive systems.
the author describes a semiformal process model for technology transfer at Ferranti computersystems. Experience has shown that satisfactory transition takes place only when staff members move from one group to the ne...
详细信息
ISBN:
(纸本)0818620269
the author describes a semiformal process model for technology transfer at Ferranti computersystems. Experience has shown that satisfactory transition takes place only when staff members move from one group to the next either withthe technology or withthe problem.< >
the author summarizes a presentation given at a panel session on safety-critical softwaresystems. Experience withthe development of nuclear power plant protection systems is discussed. the state of the art in this f...
详细信息
ISBN:
(纸本)0818620269
the author summarizes a presentation given at a panel session on safety-critical softwaresystems. Experience withthe development of nuclear power plant protection systems is discussed. the state of the art in this field is examined, and the problems entailed in demonstrating the safety of these systems are considered.
the author summarizes a presentation given at a panel session on safety-critical softwaresystems. It is argued that SRCS (safety-related computersystems) need to be kept under firm intellectual control throughout th...
详细信息
ISBN:
(纸本)0818620269
the author summarizes a presentation given at a panel session on safety-critical softwaresystems. It is argued that SRCS (safety-related computersystems) need to be kept under firm intellectual control throughout their development so that the range of possible behavior can always be specified precisely. this is equivalent to a requirement that the behavior be modeled mathematically and is a powerful argument for the use of mathematically formal notations (formal methods) throughout the specification, design, and implementation of software and hardware for SRCS.
An approach aimed at running a special class of computationally intensive applications in an affordable heterogeneous computing environment built around existing off-the-shelf hardware is described. the software suppo...
详细信息
An approach aimed at running a special class of computationally intensive applications in an affordable heterogeneous computing environment built around existing off-the-shelf hardware is described. the software support combines a general-purpose parallel programming language with a remote procedure call facility. the increase in throughput is a result of the overlap in servers computations. the attractiveness of the system comes mainly from its low cost. A typical application involving the traveling salesman problem is described, and performance issues are discussed.
the present work is written from the standpoint of an industrial consumer of tools, methods, and theories as they concern the building of software-intensive IT (information technology) systems. A personal view is give...
详细信息
ISBN:
(纸本)0818620269
the present work is written from the standpoint of an industrial consumer of tools, methods, and theories as they concern the building of software-intensive IT (information technology) systems. A personal view is given of the contribution that advances in softwareengineering and related disciplines have made or might make to the job of improving the way in which systems might be constructed in a predictable, cost-effective manner that meets the customer's requirements.
暂无评论