Sciweavers

80 search results - page 5 / 16
» On the Complexity of Real Root Isolation
Sort
View
ISSAC
2009
Springer
121views Mathematics» more  ISSAC 2009»
15 years 7 months ago
Faster real feasibility via circuit discriminants
We show that detecting real roots for honestly n-variate (n + 2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any ļ¬...
Frédéric Bihan, J. Maurice Rojas, Ca...
ISSAC
1998
Springer
101views Mathematics» more  ISSAC 1998»
15 years 5 months ago
Efficient Algorithms for Computing the Nearest Polynomial with Constrained Roots
Continuous changes of the coefficients of a polynomial move the roots continuously. We consider the problem finding the minimal perturbations to the coefficients to move a root to...
Markus A. Hitz, Erich Kaltofen
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
14 years 4 months ago
FlexMin: a flexible tool for automatic bug isolation in DBMS software
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
Kristi Morton, Nicolas Bruno
ASPLOS
2009
ACM
16 years 1 months ago
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
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...
Martin Dimitrov, Huiyang Zhou
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 1 months ago
New Complexity Bounds for Certain Real Fewnomial Zero Sets
d Abstract) Frederic Bihanāˆ— Joel Gomez† Andrew Niles— J. Maurice Rojas§ January 24, 2007 Rojas dedicates this paper to his friend, Professor Tien-Yien Li. Consider real biv...
Joel Gomez, Andrew Niles, J. Maurice Rojas