Hypertext is an appealing technology for automating the software maintenance process. Maintenance tasks such as locating an error or confirming that a modification does not break existing code can be naturally impleme...
详细信息
Hypertext is an appealing technology for automating the software maintenance process. Maintenance tasks such as locating an error or confirming that a modification does not break existing code can be naturally implemented as link-following exploration activities in a hypertext system. A description is given of the requirements process for a hypertext software-maintenance system called Hypermaint. The author also discusses how the requirements affect the overall architecture of the hypertext system.< >
Summary form only given, as follows. The authors take the next step in developing the theory of average case complexity initiated by L.A. Levin. Previous work has focused on the existence of complete problems. The pre...
详细信息
Summary form only given, as follows. The authors take the next step in developing the theory of average case complexity initiated by L.A. Levin. Previous work has focused on the existence of complete problems. The present authors widen the scope to other basic questions in computational complexity. Their results include: (1) the equivalence of search and decision problems in the context of average case complexity; (2) an initial analysis of the structure of distributional-NP under reductions which preserve average polynomial-time; (3) a proof that if all distributional-NP is in average polynomial-time then nondeterministic exponential-time equals deterministic exponential time (i.e. a collapse in the worst-case hierarchy); and (4) definitions and basic theorems regarding other complexity classes such as average log space.
A framework is proposed for the validation of data and rules in knowledge-based systems. This work involves three major tasks: (1) validation of data; (2) validation of rules; and (3) interaction between data and rule...
详细信息
A framework is proposed for the validation of data and rules in knowledge-based systems. This work involves three major tasks: (1) validation of data; (2) validation of rules; and (3) interaction between data and rule validation. These tasks are conducted on a rule set that specifies the dependencies of rule variables. Data validation is performed by using the enforcement of constraint rules. Constraint rules are also propagated for the overall database consistency. A scheme for rule validation is sketched. The completeness and consistency of rules are verified by a theorem-proving method. It is concluded that production rules should be restricted by constraint rules, whereas constraint rules can correct the inconsistency of data by reasoning production rules.< >
software quality assurance involves checking and assuring if aspects such as the design, coding, testing and performance of the software are as per the specifications. There have been many attempts to quantify the qua...
详细信息
software quality assurance involves checking and assuring if aspects such as the design, coding, testing and performance of the software are as per the specifications. There have been many attempts to quantify the quality of the software and many quality metrics have evolved. Quality attributes are measured in various ways. Two of the ways in which performance can be gauged are (i) by measuring the time required for execution of the functions and (ii) by the number of problems found during testing. These two aspects are discussed taking the Centre for Development of Telematics (CDOT) as an example.< >
The author provides a global understanding of the overall engineering data management market and the trends that will affect its growth. The intent is to summarize extensive research in a consistent manner and to high...
详细信息
The author provides a global understanding of the overall engineering data management market and the trends that will affect its growth. The intent is to summarize extensive research in a consistent manner and to highlight major market requirements. engineering DBMS (database-management system) software manages the engineering data files that support the product design and maintenance process.< >
A general method is presented for formally verifying the correctness of microprocessor designs. The abstract-level specification of the processor defines the effect of every instruction in terms of a suitably chosen p...
详细信息
A general method is presented for formally verifying the correctness of microprocessor designs. The abstract-level specification of the processor defines the effect of every instruction in terms of a suitably chosen programmer model of the processor. The concrete-level specification describes the design of the processor at a synchronous level by defining the behavior over a single microcycle. A general criterion of correctness to relate the two levels of behavior of the processor is developed. An application of the method to a simple processor, Simple, and a larger realistic processor, MiniCayuga, which uses instruction pipelining, is presented. Both designs are completely verified using an applicative-language-based verification system Clio.< >
A description is given of the features and design principles of exchange dimensioning system, DIMEX-10, which offers interactive support for assisting telephone company personnel in the installation and production of ...
详细信息
A description is given of the features and design principles of exchange dimensioning system, DIMEX-10, which offers interactive support for assisting telephone company personnel in the installation and production of the TDX-10 digital switching system. The dimensioning process determines the volume of an exchange component in both hardware and functional terms. DIMEX-10 uses artificial intelligence techniques and employs novel representations to denote the knowledge required for exchange dimensioning.< >
Summary form only given. The goal of an EIS (engineering information system) is to simplify the engineering process enough so that the people involved can focus on getting their work done, without having to spend inor...
详细信息
Summary form only given. The goal of an EIS (engineering information system) is to simplify the engineering process enough so that the people involved can focus on getting their work done, without having to spend inordinate amounts of time working with the system. The success of an EIS depends a great deal on how that information is modeled and managed. This poses a very challenging problem, for several reasons. One reason is that the information to be modeled is not at all uniform. In addition, the EIS must operate in a heterogeneous environment. Finally, although the information involved is very complex, it must be modeled in a way that can be understood by all the users of that model: engineers, tool designers, managers, system administrators, and the people who configure and maintain the EIS itself.< >
The development of the interface between the token bus controller and a single board computer is described. The authors present, in detail, a functional description of the hardware circuits in the interface. The desig...
详细信息
The development of the interface between the token bus controller and a single board computer is described. The authors present, in detail, a functional description of the hardware circuits in the interface. The design and structure of the software developed with a basic operating system are also described.< >
A discussion is presented of several techniques for improving I/O performance, including caches, battery-backed-up caches, and cache logging. The authors then examine in particular detail an approach called log-struct...
详细信息
A discussion is presented of several techniques for improving I/O performance, including caches, battery-backed-up caches, and cache logging. The authors then examine in particular detail an approach called log-structured file systems, where the file system's only representation on disk is in the form of an append-only log. Log-structured file systems potentially provide order-of-magnitude improvements in write performance. When log-structured file systems are combined with arrays of small disks (which provide high bandwidth) and large main-memory file caches (which satisfy most read accesses), the authors believe it will be possible to achieve 1000-fold improvements in I/O performance over current systems.< >
暂无评论