Results 11 - 20
of
2,208
Table IX. Correlations between test groups and the jury for organization C
Table X. Correlations between test groups and the jury for organization D
Table 7: Probability of real guilt for varying jury accuracies
Table 1: Ensemble de donn ees pour les programmes du benchmark SPLASH 2 Les r esultats qui suivent sont issus de mesures sur les trois g en erations de microprocesseurs pr esent ees dans la partie pr ec edente. Les principales di erences entre les n uds Pentium Pro 200 et les n uds Pentium II 300 sont la fr equence du CPU, la taille des caches (L1:2*8kB vs 2*16kB, L2: 256kB vs 512kB), le rapport de fr equence entre le CPU et le cache de second niveau ainsi que la technologie et le mode de pipeline de la m emoire (EDO contre SDRAM). Entre les n uds PII 300 et PII 400, les di erences sont une fr equence plus elev ee du CPU et du bus m emoire (66 Mhz pour le PII 300 et 100 Mhz pour le PII 400).
Table 1. R esultats de r ef erence. Dans la suite, les exp erimentation de l apos; evolution mim etique se feront dans le cadre ES (10+50), les bits a muter etant s electionn es par tournoi de taille 20, et le h eros (resp. le repoussoir) m emorisant le meilleur (resp. le pire) individu de la population. Les coe cients de relaxation du h eros et du repoussoir sont = 0 = :01. Les r esultats pr esent es sont les meilleurs r esultats obtenus en 200 000 evaluations, moyenn es sur 10 ex ecutions ind ependantes.
Table 3: The upward closed denotational semantics DU. De nition 5.7 S; SFin : Agents ?! P(C) are the least and the greatest function which satis es the equations in Table 4, respectively. Proposition 5.8 For each agents A and for each C 2 PUC(C) we have
1993
"... In PAGE 8: ... De nition 5.2 DU; DU Fin : Agents ! (PU(C) ! PU(C)) are the least and the greatest functions which satisfy the equations in Table3 . The order- ing is the standard one: D1 D2 i for each A 2 Agents, for each C 2 PU(C), D2[[A]]C D1[[A]]C holds.... ..."
Cited by 27
Table 1. Time to reconstruct different sur- faces.
2003
"... In PAGE 4: ... Table1 compares the time to render four different ter- rain surfaces (height planes, linear approximation planes, triangle meshes, bilinear surfaces) on two hardware con- figurations: SGI Power Challenge (R10K processor, 194 MHZ, 4GB RAM) and Intel Pentium III (933 MHz, 384MB RAM). Only one processor is used on the SGI workstation.... ..."
Cited by 2
Results 11 - 20
of
2,208