2878 search results - page 224 / 576 » Analyzing the Uses of a Software Modeling Tool |
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Mass Spectrometry coupled to Liquid Chromatography (LC-MS) is commonly used to analyze the protein content of biological samples in large scale studies. The data resul...
191
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are numerous studies that examine whether or not cloned code is harmful to software systems. Yet, few of them study which characteristics of cloned code in particular lead...
170
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
197
click to vote
CBSE
2004
Springer
16 years 5 hour ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
206
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...