115 search results - page 4 / 23 » On the complexity of real solving bivariate systems |
168
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
178
click to vote
CORR
2011
Springer
15 years 28 days ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
174
click to vote
EAAI
2007
15 years 5 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deï¬...
160
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
An implementation of a parallel ScaLAPACK-style solver for the general Sylvester equation, op(A)X −Xop(B) = C, where op(A) denotes A or its transpose AT , is presented. The paral...
185
click to vote
IEEEARES
2006
IEEE
15 years 12 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...