4305 search results - page 626 / 861 » Analysing Protocol Implementations |
158
click to vote
MBEES
2010
15 years 2 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
181
click to vote
HIPC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
171
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Large databases of genetic data are often biased in their representation. Thus, selection of genetic data with desired properties, such as evolutionary representation ...
238
click to vote
SOFTWARE
2011
14 years 11 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
150
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...