Results 1 - 10 of 24,878

Table 4: Final version of the instru-

in Learning Abstractions for Verifying Data-Structure Properties
by Alexey Loginov, Thomas Reps, Mooly Sagiv

Table 4: Final version of the instru-

in ABSTRACT Learning Abstractions for Verifying Data-Structure Properties
by Alexey Loginov

Table 1. Product j j for some of the leftmost eigenvalues of the sample problems. Factor j is computed by (3.15).

in Asymptotic Convergence of Conjugate Gradient Methods for the Partial Symmetric Eigenproblem
by Luca Bergamaschi, Giorgio Pini
"... In PAGE 7: ... Hence in practical computations the value of j is set equal to j; k . Table1 gives the product j j between the asymptotic convergence rate and the Hessian condition number, for some of the leftmost 40 (1 j 40) eigenvalues.... In PAGE 9: ...9 k; uk has already been calculated and deflated. We have instead: k?1 = k+1 k+1 ? k?1 and this equation has been used to compute some of the results given in Table1 . When convergence occurs to the correct minimal eigenpair the value of j, numerically computed by (3.... In PAGE 9: ...15), appears to be inversely proportional to j. This is clearly shown in Table1 where the almost totality of the products j j are close to 4 (it was found that if j lt; 2, j j may be quite different from 4). Remark: In the solutionof linear systems by the CG method, it has been proved [1] that the asymptotic rate of convergence can be expressed as = ln 1 + 1=p 1 ? 1=p 2 p (3.... In PAGE 12: ...16). We have already noted that for the N = 222 and N = 1952 problems DACG does not always converge to the theoretical leftmost eigenpair at the current deflation level (see Table1 ). When this occurs the eigen- value j?1 cannot be regarded as being a suitable approximation to the next eigenvalue j, (4.... ..."

Table 4. Final version of instrumentation relations introduced by abstraction refine- ment.

in Abstraction Refinement for 3-Valued-Logic Analysis
by Alexey Loginov, Thomas Reps, Mooly Sagiv 2004
Cited by 5

Table 4. Final version of instrumentation relations introduced by abstraction refine- ment.

in Abstraction refinement for 3-valued-logic analysis
by Alexey Loginov, Thomas Reps, Mooly Sagiv 2004
Cited by 5

Table 10: Results of Simulated Annealing * to appear in final version

in A Characterization of High Performance DSP Kernels on the TRIPS Architecture
by Kevin B. Bush, Mark Gebhart, Doug Burger, Stephen W. Keckler 2006
"... In PAGE 16: ... 4.6 Results of Annealing Table10 details the absolute cycle counts before and after the simulated annealing process along with the percent improvement. The table also shows the percent of the critical path spent performing operand routing.... ..."
Cited by 1

Table 10: Results of Simulated Annealing * to appear in final version

in A Characterization of High Performance DSP Kernels on the TRIPS Architecture
by Kevin B. Bush, Mark Gebhart, Doug Burger, Stephen W. Keckler 2006
"... In PAGE 16: ... 4.6 Results of Annealing Table10 details the absolute cycle counts before and after the simulated annealing process along with the percent improvement. The table also shows the percent of the critical path spent performing operand routing.... ..."
Cited by 1

Table 5.3: Detection Rates Final Version

in Anwendungsspezifische Energiesparverfahren für WLAN
by Matthias Faerber 1979

TABLE 2. Average Number of Residents on the Final Roster by Version and Definition

in Coverage Improvement From Experimental Residence Questions
by Anne T. Kearney, Roger Tourangeau, Gary Shapiro 1993
Cited by 2

Table 5.13: Distribution of exact matches and related and unrelated terms among non-matching keyphrases in the final version of KEA++

in Contents
by Automatische Schlagwort-indexierung, Mit Einem Domain-spezifischen Thesaurus, Verhaltenswissenschaftlichen Fakultt Der, Olena Medelyna, Sprachwissenschaft Des Deutschen
Results 1 - 10 of 24,878