| tech,7-3-P01-1009,bq | that the <term> performance </term> of a <term> | search engine | </term> can be improved dramatically by | #1878 I show that the performance of a search engine can be improved dramatically by incorporating an approximation of the formal analysis that is compatible with the search engine's operational semantics. |
| tech,26-3-P01-1009,bq | </term> that is compatible with the <term> | search engine | </term> 's <term> operational semantics </term> | #1897 I show that the performance of a search engine can be improved dramatically by incorporating an approximation of the formal analysis that is compatible with the search engine 's operational semantics. |
