4245 search results - page 512 / 849 » Input Modeling |
175
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
159
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract-- Traditionally, conflict resolution in an inputbuffered switch is solved by finding a matching between inputs and outputs per time slot. To do this, a switch not only nee...
200
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper, we present a complete system for automatic face replacement in images. Our system uses a large library of face images created automatically by downloading images fr...
183
click to vote
TON
2008
15 years 6 months ago
2008
Scalability considerations drive the evolution of switch design from output queueing to input queueing and further to combined input and crosspoint queueing (CICQ). However, CICQ s...
181
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...