3342 search results - page 474 / 669 » Symbolic Robustness Analysis |
161
click to vote
ISSAC
2007
Springer
16 years 22 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
158
click to vote
LOPSTR
2007
Springer
16 years 22 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
176
click to vote
SPIN
2007
Springer
16 years 21 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
164
click to vote
ISQED
2006
IEEE
16 years 18 days ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...
188
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...