This paper concerns two closely related topics: the behavior of the eigenvalues of graded matrices and the perturbation of a nondefective multiple eigenvalue. We will show that the eigenvalues of a graded matrix tend ...
详细信息
We extend the well-founded semantics of Van Gelder et al. [12] so that it is able to reason through clauses instead of single literals. This is necessary to infer p to be true in the program {p ← a;p ← b;a ← ¬...
详细信息
A relational specification consists of a state transition system and a set of fairness assumptions. The state transition system is specified using two basic constructs: state formulas that respresent sets of states, a...
详细信息
We present a heuristic to derive specifications of distributed systems by stepwise refinement. The heuristic is based upon a conditional refinement relation between specifications. It is applied to construct four slid...
详细信息
Task Grapher is a tool for studying optimal parallel program task scheduling on arbitrarily intercor iected parallel processors. Given a parallel program represented as a precedence-constrained task graph, and an inte...
详细信息
A top-level view of the architecture of the Parallel Programming Support Environment (PPSE), which is an experimental set of tools for use in the design and implementation of software systems for parallel computing sy...
详细信息
A top-level view of the architecture of the Parallel Programming Support Environment (PPSE), which is an experimental set of tools for use in the design and implementation of software systems for parallel computing systems, is proposed. The tools include a graphical design editor, a graphical target machine description system, a task mapper/scheduler tool, parallel code generator, and graphical aids for performance analysis. The objective is, to the extent possible, to design and develop parallel software with little regard for the details of the architecture of the target machine, programming language, or parallel computing paradigm that the program is to use. A prototype of the environment running on the Macintosh was developed. It was used to parallelize a small image-processing application and several simple programs.< >
Maruti is a testbed for the design of time-driven hard real-time systems. It uses the technique of prescheduling, where the application is scheduled prior to execution and resources required by the application are res...
详细信息
Maruti is a testbed for the design of time-driven hard real-time systems. It uses the technique of prescheduling, where the application is scheduled prior to execution and resources required by the application are reserved, in order to ensure that deadlines are met. A description is given of the features of MPL, a language for Maruti. MPL provides constructs for expressing time constraints, precedence relations, and synchronization directly in the programs. The MPL features are designed to facilitate prescheduling.< >
Summary form only given. There has been continued progress in the area of software measurement. The main inroads have been made in the scope of measurement, a deeper understanding of the perspectives from which measur...
详细信息
Summary form only given. There has been continued progress in the area of software measurement. The main inroads have been made in the scope of measurement, a deeper understanding of the perspectives from which measurement can be applied, the development of frameworks for the definition and interpretation of measurement, the refinement of the measures and the models on which the metrics are based, the automation of the models and measures, and the increased application of measurement in many organizations.< >
We examine the tracking of 3-dimensional targets moving in a complex (e.g. highly textured) visual environment, which makes the application of methods relying on static segmentation and feature correspondence very pro...
详细信息
暂无评论