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 4 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 2 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 24 days 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
15 years 10 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»
14 years 10 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