54 search results - page 6 / 11 » Using Load Tests to Automatically Compare the Subsystems of ... |
ISSRE
2000
IEEE
13 years 12 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
DLOG
2009
13 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
Electronic mail poses a number of unusual challenges for the design of information retrieval systems and test collections, including informal expression, conversational structure,...
FPGA
2004
ACM
14 years 28 days ago
2004
ACM
FPGAs normally operate at whatever clock rate is appropriate for the loaded configuration. When FPGAs are used as computational devices in a larger system, however, it is better ...