Sciweavers

1528 search results - page 21 / 306
» Performance Assertion Checking
Sort
View
BMCBI
2008
122views more  BMCBI 2008»
13 years 9 months ago
OpenDMAP: An open source, ontology-driven concept analysis engine, with applications to capturing knowledge regarding protein tr
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
Lawrence Hunter, Zhiyong Lu, James Firby, William ...
MSS
1999
IEEE
150views Hardware» more  MSS 1999»
14 years 1 months ago
Performance Benchmark Results for Automated Tape Library High Retrieval Rate Applications - Digital Check Image Retrievals
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
John Gniewek, George Davidson, Bowen Caldwell
FMCAD
1998
Springer
14 years 1 months ago
A Performance Study of BDD-Based Model Checking
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron...
CACM
2010
70views more  CACM 2010»
13 years 7 months ago
Performance evaluation and model checking join forces
Christel Baier, Boudewijn R. Haverkort, Holger Her...