Sciweavers

613 search results - page 5 / 123
» Finding and Fixing Faults
Sort
View
ISSAC
1993
Springer
119views Mathematics» more  ISSAC 1993»
15 years 1 months ago
Finding all Hypergeometric Solutions of Linear Differential Equations
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
Marko Petkovsek, Bruno Salvy
ICSE
2008
IEEE-ACM
15 years 9 months ago
MimEc: intelligent user notification of faults in the eclipse IDE
The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information througho...
Lucas Layman, Laurie A. Williams, Robert St. Amant
SIGSOFT
2006
ACM
15 years 3 months ago
Memories of bug fixes
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
Sunghun Kim, Kai Pan, E. James Whitehead Jr.
DAC
2009
ACM
15 years 10 months ago
Computing bounds for fault tolerance using formal techniques
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
André Sülflow, Görschwin Fey, Rol...
EM
2010
129views Management» more  EM 2010»
14 years 4 months ago
Finding Patterns Avoiding Many Monochromatic Constellations
Given fixed 0 = q0 < q1 < q2 <
Steve Butler, Kevin P. Costello, Ronald L. Graham