1411 search results - page 223 / 283 » A Value Analysis for C Programs |
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
BMCBI
2007
13 years 8 months ago
2007
Background: Pyrrolizidine alkaloids (PAs) are probably the most common plant constituents that poison livestock, wildlife, and humans worldwide. Riddelliine is isolated from plant...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
BMCBI
2008
13 years 9 months ago
2008
Background: High-throughput methods that allow for measuring the expression of thousands of genes or proteins simultaneously have opened new avenues for studying biochemical proce...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...