320 search results - page 2 / 64 » On reducing a system of equations to a single equation |
QEST
2006
IEEE
13 years 11 months ago
2006
IEEE
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
IJAC
2007
13 years 5 months ago
2007
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems o...
DAC
1999
ACM
14 years 6 months ago
1999
ACM
In this paper we present a new algorithm for computing reduced-order models of interconnect which utilizes the dominant controllable subspace of the system. The dominant controlla...
GIAE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
PLILP
1993
Springer
13 years 9 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...