Results 1 - 10 of 31,390

Table 2. Improvements by partial evaluation

in Symbolic Profiling of Multi-Paradigm Declarative Languages
by Elvira Albert, Germán Vidal 2002
"... In PAGE 15: ...iously annotated to be partially evaluated (i.e., cost centers are introduced on the same expressions to be specialized). Table2 shows our profiling results for several well-known benchmarks of partial evaluation. Some of them are typical from deforestation (the case of all ones, app last, double app, double flip, length app) and kmp is the well-known KMP test .... In PAGE 15: ...5 For each benchmark, we show the number of steps, pattern matching operations and applications for the original and residual programs, respectively; we do not include information about the amount of nondeterminism since it is not changed by the partial evaluator. The last column of Table2 shows the actual speedup (i.e.... In PAGE 15: ... Runtime input goals were chosen to give a reasonably long overall time. From the figures in Table2 , we observe that the cost information collected by the profiler allows us to quantify the potential improvement which has been achieved by the residual program. For instance, the more significant improve- ments on the symbolic costs are produced for the KMP benchmark which, in- deed, shows an actual speedup of 12.... ..."
Cited by 10

Table 2. Partial evaluation of ASM rules.

in The hidden computation steps of turbo Abstract State Machines
by Nicu G. Fruja, Robert F. Stärk 2003
"... In PAGE 9: ...ase in Sect. 6 it will be needed. The rst intermediate state 0 is the result of the partial evaluation of the main rule of the ASM in the state A. The result of the partial evaluation of an ASM rule P in a state A and an environment is denoted by ev(P; A; ) and de ned in Table2 . The partial evaluation leaves rule calls (and as we will see later also sequential compositions) unevaluated.... ..."
Cited by 8

Table 1: Partial evaluations of the five stu- dents.

in Using the Kappalab R package for capacity identification in Choquet integral based MAUT
by Michel Grabisch, Ivan Kojadinovic , Patrick Meyer

Table 1: Overview of Partial Evaluation in optimization of GEZEL simulation

in Interactive cosimulation with partial evaluation
by Patrick Schaumont, Ingrid Verbauwhede 2004
"... In PAGE 4: ... The idea of partial evaluation is found in many optimiza- tions in design automation, for example in strength reduc- tion with software compilation or redundancy removal in hardware compilation. Table1 illustrates the optimizations that were done at each level of the execution ladder. For each level, the input, output and evaluation program is shown.... ..."
Cited by 14

Table 1: Overview of Partial Evaluation in optimization of GEZEL simulation

in unknown title
by unknown authors 2004
"... In PAGE 4: ... The idea of partial evaluation is found in many optimiza- tions in design automation, for example in strength reduc- tion with software compilation or redundancy removal in hardware compilation. Table1 illustrates the optimizations that were done at each level of the execution ladder. For each level, the input, output and evaluation program is shown.... ..."
Cited by 14

Table III. Partial evaluation test (results normalized with respect to IN)

in Reflection Mechanisms for Combining Prolog Databases
by Evelina Lamma, Paola Mello, Antonio Natali 1991
Cited by 5

Table 1 Partial and global evaluations of the four cooks.

in Minimum variance capacity identification
by Ivan Kojadinovic 2006
"... In PAGE 20: ... This is confirmed by the values of the nor- malized Marichal entropy. The global evaluations are given in Table1 . Again, as expected, the behavior of the minimum variance Choquet integral is closer to that of the simple arithmetic mean than that of the Choquet integral ob- tained by linear programming.... ..."
Cited by 2

Table 3 Partial and global evaluations of the five students.

in Minimum variance capacity identification
by Ivan Kojadinovic 2006
Cited by 2

Table IV. Partial Sums in Evaluation of Equation #2822a#29

in 11. SUPPLEMENTARY NOTES 5. FUNDING NUMBERS
by Barry D. Ganapol, Lawrence W. Townsend, Stanley L. Lamkin, John W. Wilson

Table 1. Partial evaluation function for parallel operator CZ of timed CBC8BT.

in unknown title
by unknown authors 2000
"... In PAGE 11: ...t. C8CZCG CYBP CWD8CXCRCZCXCCBM By applying the rules in Table1 , we find out that CWD8CXCRCZCXCCBPBPC8 is equal to B4CWD8CXCRCZCXCCB5 CM CJCWCLBY. Roughly, it requires that CG is able to do a D8CXCRCZ action, but no CW ac- tions.... ..."
Cited by 25
Results 1 - 10 of 31,390