564 search results - page 42 / 113 » Generating Test Data for Functions with Pointer Inputs |
153
click to vote
CPHYSICS
2006
15 years 3 months ago
2006
State-of-the-art molecular dynamics (MD) simulations generate massive datasets involving billion-vertex chemical bond networks, which makes data mining based on graph algorithms s...
140
click to vote
ERSA
2010
15 years 1 months ago
2010
SRAM-based FPGA devices are an attractive option for data processing on space-based platforms, due to high computational capabilities and a lower power envelope than traditional pr...
106
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
129
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Novel strategies are required in order to handle the huge amount of data produced by microarray technologies. To infer gene regulatory networks, the first step is to f...
159
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...