### Table 3 The axiom system Ar

"... In PAGE 14: ... 5.1 Axiomatizing strong bisimulation First we present the axiom system Ar, which includes all axioms and rules displayed in Table3 . We assume the usual rules for equality (reflexivity, sym- metry, transitivity and substitutivity), and the alpha-conversion of bound vari- ables.... ..."

### Table 3 The axiom system Ar

"... In PAGE 14: ... 5.1 Axiomatizing strong bisimulation First we present the axiom system Ar, which includes all axioms and rules displayed in Table3 . We assume the usual rules for equality (reflexivity, sym- metry, transitivity and substitutivity), and the alpha-conversion of bound vari- ables.... ..."

### Table 3 The axiom system Ar

"... In PAGE 14: ... 5.1 Axiomatizing strong bisimulation First we present the axiom system Ar, which includes all axioms and rules displayed in Table3 . We assume the usual rules for equality (reflexivity, sym- metry, transitivity and substitutivity), and the alpha-conversion of bound vari- ables.... ..."

### Table 2. The GNT parameters expected for AR-Be systems.

### Table 3: Results returned for the AR benchmark. System LTC (ns) Cycles Clock (ns) Exec. time (ns) Add Mlt CPU time (s)

"... In PAGE 8: ...espectively. Those solutions that were presented in [2] were also found by TSE-TSE. Furthermore, TSE-TSE found two solutions, with 15 and 16 execution cycles respectively, each using less resources than the solutions with fewer execution cycles. Table3 contains two solutions produced by TSE-TSE when a module library corresponding to the library used by the Voyager [2] (i.e.... In PAGE 9: ... Voyager reports several solutions with different clock periods when the global timing constraint is set to 902 nanosec- onds [2]. Considering that the number of resources and cycles should be minimized the solution shown in Table3 is the optimal one. This solution is identical with the solution returned by TSE-TSE.... ..."

### Table 1. Two-Step and Systems Estimates of the AR(6) Price Equa- tion, 1958-90

"... In PAGE 6: ...ndex (1967 = 1.0). The estimation results are presented in tables 1 and 2. Table1 contains results for the autoregressive models of slaughter price for barrows and gilts. Table 2 contains parameter estimates for the risk-responsive sow farrowing equations for alternative specifications of the conditional variance process.... ..."

### Table 1: Performance of iCAR system for different normalized ARS coverage

2002

"... In PAGE 6: ... Observe that ARS coverage has a pro- found impact (up to 70%, in our example) on the relaying performance. Traffic capacity enhancement in our 3-tier iCAR system model is shown in Table1 and Fig. 7.... In PAGE 6: ...odel is shown in Table 1 and Fig. 7. Note that the capacity of iCAR system increases almost linearly, as the ARS cov- erage area in a cell increases. Observe from Table1 that in our 3-tier cell model, the proposed iCAR system supports approximately a210a133a211 Erlang more traffic in a hot cell (cell A) (with approximate normalized ARS coverage of a212a214a213a103a215a135a216 a217a65a210 ), for a given (2%) system-wide call blocking probability. In Fig.... ..."

Cited by 9

### Table 3 Qualitative comparison of Grid discovery systems based on unstructured P2P ar-

"... In PAGE 16: ... All this strategies experimented sig- niflcant beneflts with respect to naive techniques, such as simple ooding. Table3 summarizes the main features of the unstructured systems described above in terms of architecture, resource indexing, and query resolution. Table 3 Qualitative comparison of Grid discovery systems based on unstructured P2P ar-... ..."