Now showing items 1-6 of 6
Reconfiguration for Programmable ASIC Arrays
In an approach recently proposed for the yield enhancement of programmable gate arrays (PGAs), an initial placement of a circuit is first obtained using a standard technique such as simulated annealing on a defect-free ...
A Class of Conflict Free Petri Nets Used for Controlling Manufacturing Systems
This paper is devoted to the behavior, evaluation and management of non-cyclic discrete systems in general and manufacturing systems in particular. We introduce a special type of Petri nets called CFIOs (Conflict-Free nets ...
An ESPRIT Algorithm for Tracking Time-Varying Signals
ESPRIT is a successful algorithm for determining the constant directions of arrival of a set of narrowband signals on an array of sensors. Unfortunately, its computational burden makes it unsuitable for real time processing ...
This paper provides a detailed review of the state of the art in the field of network reliability analysis. The primary model treated is a stochastic network in which arcs fail randomly and independently with known failure ...
Building Decision Support Systems That Use Operations Research Models as Database Applications
In this paper we address the problem of building decision support systems that make use of multiple operations research models as database application. The motivation for developing applications in a database environment ...
WFS + Branch and Bound = Stable Models
Through the semantics of non-monotonic logic programming has been studied extensively, relatively little work has been done on operational aspects of these semantics. In this paper, we develop techniques to compute the ...