63 search results - page 8 / 13 » Isolating real roots of real polynomials |
277
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
154
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
129
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
163
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
In the Komodo project a real-time Java system based on a multithreaded Java microcontroller has been developed. A main scheduling policy realized by hardware in the microcontroller...
144
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...