Now showing items 1-6 of 6
Integrating Tradeoff Analysis and Plan-Based Evaluation of Designs for Microwave Modules
Previously, we have described two systems, EDAPS and EXTRA, which support design and process planning for the manufacture of microwave modules, complex devices with both electrical and mechanical attributes. EDAPS integrates ...
Residue Calculus and Effective Nullstellensatz
We provide new tools to compute multidimensional residues for rational functions, even over fields of positive characteristic. As a corollary one obtains solutions of the Betout equation for polynomials over a ring with a ...
Fault Tolerant Rerouting in Broadband Multiclass Networks
Modern broadband integrated service digital networks (B-ISDN) must handle multiclass traffic with diverse quality of service (QOS) requirements. The main purpose of our research is to design call rerouting mechanisms which ...
Approximation by Spherical Waves in Lp-Space
We prove that functions of the form f(1x-a1), a in a closed surface, are dense in the space of all functions in Lp, for zn/(n+1). This property fails for 1zn/(n+1). By letting f be a Gsussian, we obtain a result about ...
Advances in High Performance Knowledge Representation
Real world applications are demanding that KR systems provide support for knowledge bases containing millions of assertions. We present Parka-DB, a high-performance reimplementation of the Parka KR language which uses a ...
Two-Path Subsets: Efficient Counting and Applications to Performability Analysis
The problem of computing preformability probabilities in stochastic PERT and flow networks is studied when the networks is ﲭinimally designed to withstand any two component failures. Polynomial-time algorithms to compute ...