83 search results - page 13 / 17 » Minimization Algorithm for Symbolic Bisimilarity |
168
click to vote
ISSAC
2007
Springer
15 years 12 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
164
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...
165
click to vote
KBSE
2007
IEEE
16 years 2 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
136
Voted
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...
142
click to vote
ICC
2007
IEEE
16 years 3 days ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...