### Table 3 Inherent characteristics of the prioritizing methods

"... In PAGE 7: ... Table3 shows that the first three methods provide a more powerful scale. Methods based on AHP also allow the possibility of checking the consistency of the priorities.... ..."

### Table 2: Scheduling with prioritized cost function

1996

"... In PAGE 7: ... We derive lower bounds on the register count and use them to find a schedule which requires the minimum register cost while satisfying the given FU con- straint. Table2 shows the results of the scheduling with a prioritizedcost function. To verify our approach, we applied our algorithm with varying stride values ranging from 2 to 6.... In PAGE 7: ... So, we do not need to relax the FU constraint further for these examples. Since the results are essentially identical to those of Table2 for these examples, we do not repeat them here. For the back solver, additional FU constraints beyond the initial ones are considered, but no better solution is found.... ..."

Cited by 4

### Table 2: Scheduling with prioritized cost function

"... In PAGE 7: ... We derive lower bounds on the register count and use them to find a schedule which requires the minimum register cost while satisfying the given FU con- straint. Table2 shows the results of the scheduling with a prioritizedcost function. To verify our approach, we applied our algorithm with varying stride values ranging from 2 to 6.... In PAGE 7: ... So, we do not need to relax the FU constraint further for these examples. Since the results are essentially identical to those of Table2 for these examples, we do not repeat them here. For the back solver, additional FU constraints beyond the initial ones are considered, but no better solution is found.... ..."

### Table 3. Properties of MDP for Multimedia Stream Interleaving Transition

"... In PAGE 4: ... (6) In the proposed ISC interleaving method, we consider each frame in a GOV as a state iteration in the Markov model4. Based on the policies described in Table3 , one of the two actions, Coding ( ), or Skip ( ), is taken for each state iteration. denotes an action taken for the frame in a GOV.... ..."

### Table 2: Comparison of methods used in the three gene prioritization applications

2007

### Table 8: Integration statistics for EB, ROS2 and IRKC, with full Newton solver if needed, and both direct and iterative linear solvers.

2007

"... In PAGE 116: ... The 16 reactive gas phase species satisfy a gas phase reaction system of 25 reactions. The already successful transient results [3] with direct linear solver, are substantially accelerated with Krylov solvers; see Table8 . Note that application of Krylov subspace methods causes a slight increase in the number of function evaluations and Newton iterations/Jacobian evaluations for EB.... ..."

### Table 2. cg-accelerated iteration methods

1998

"... In PAGE 26: ... Only the action of ^ A 1 and ^ C 1 to a known vector is required. Table2 shows the results of the numerical experiments. For each mesh from level 4 to level 8 it contains the numbers n and m of unknowns, the iteration numbers N and the averaged convergence factor =(ek=e0)1=k in comparison with (an upper bound of) the theoretical convergence factor th =[2ck=(1+c2k)]1=k in the A-norm, where c =(p 1)=(p + 1) (see, e.... ..."

Cited by 15

### Table 1: Influence of reward type on MDP size and method performance type formula size fastest slowest

in Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards

"... In PAGE 6: ... This is unsurprising, as the reward type significantly affects the size of the generated MDP: certain rewards only make the size of the minimal equivalent MDP increase by a constant number of states or a constant factor, while others make it increase by a fac- tor exponential in the length of the formula. Table1 illus- trates this. The third column reports the size of the minimal equivalent MDP induced by the formulae on the left hand side.... In PAGE 6: ... Interestingly, this is not always the case. For instance, in Table1 whose last two columns report the fastest and slowest methods over the range of hand-coded domains where 1 n 12, the first row contradicts that expectation. Moreover, although PLTLSTR is fastest in the last row, for larger values of n (not represented in the table), it aborts through lack of memory, unlike the other methods.... ..."

### Table 4: Available values of solver for the PETSc solvers.

2006

"... In PAGE 30: ... PHAML provides access to most of the methods in PETSc and several parameters to those methods. Table4 con- tains the available PETSc solvers as specified by solver. Table 5 contains the... ..."

### Table 2: ISTL Solvers

2008

"... In PAGE 7: ... All solvers only use methods of instances of LinearOperator, ScalarProduct and Preconditioner. See Table2 for a list of available solvers. All solvers are Table 2: ISTL Solvers... ..."

Cited by 1