3547 search results - page 521 / 710 » Pseudo-Exhaustive Testing for Software |
147
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
162
click to vote
JCC
2008
15 years 6 months ago
2008
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
189
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: In the clinical context, samples assayed by microarray are often classified by cell line or tumour type and it is of interest to discover a set of genes that can be us...
190
click to vote
TVLSI
2008
15 years 6 months ago
2008
Most hardware compilers apply loop pipelining to increase the parallelism achieved, but pipelining is restricted to the only innermost level in a nested loop. In this work we exten...
307
click to vote
ENTCS
2002
15 years 6 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...