350 search results - page 30 / 70 » Separation of Partition Inequalities |
DMTCS
2003
13 years 10 months ago
2003
Two philosophical applications of the concept of program-size complexity are discussed. First, we consider the light program-size complexity sheds on whether mathematics is invent...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
A computational method for stability analysis of discrete-time piecewise linear systems is presented. The method is based on combining the solutions to two separate problems: one i...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
AMC
2010
13 years 9 months ago
2010
: Parallel iterative methods are powerful tool for solving large system of linear equations (LEs). The existing parallel computing research results are focussed mainly on sparse sy...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...