Sentence examples for checker by from inspiring English sources
"checker by" is not a correct or commonly used phrase in written English
It is unclear what you are trying to convey with this phrase. Please provide more context or a complete sentence for further assistance.
The article describing the SPIN model checker by G.J. Holzmann published in 1997 is first on both these lists.
In this paper we describe how to turn the algorithm into an explicit state distributed memory LTL model checker by extending it with detection of accepting cycles, counterexample generation and partial order reduction.
The tool WSCOVER, developed in this research, has offered several useful functions that the other similar works do not support, including the capability of composing and verifying Web services, in an on-the-fly manner; and extending the model checker by applying the heuristics specifying the Web service nature.
We then measured the performance of the resulting spell checker by comparing it to manual correction.
We calculated the sensitivity of the spell checker by comparing the number of words that both the spell checker and the human observers correctly identified.
The program "SNP CrossChecker" by Febit GmbH was used to check the cross reactivity between oligoprobes and template sequences reducing the number of PCR-products by 13 to 128.
McInerney's novel about a 24-year old fact-checker by day, cocaine-using party-goer by night is a portrait of the 1980s' hedonistic yuppie culture and the life in a high-brow magazine where the protagonist dreamed of writing.
One team's star is a polarizing scorer who touts myriad endorsements and is using a career year to help erase a past checkered by on-court drama.
And they rejected, as well, the attempt to dress up in the mantle of True Conservatism™ records that were either threadbare or checkered by cronyism and corruption.
Mr. Sharif, who has a past checkered by corruption allegations, maintains a barely civil relationship with Mr. Zardari, and is said to be strongly opposed to the elevation of Mr. Zardari.
A career checkered by several take-the-money-and-run flops lamentable enough that he must keep a quiver of self-deprecating jokes at the ready, should one of them be mentioned.
