1901 search results - page 146 / 381 » Predicting Program Properties from |
153
click to vote
VLSID
2008
IEEE
15 years 9 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
149
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
152
click to vote
ASE
2005
15 years 3 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
106
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
122
click to vote
SC
2005
ACM
15 years 8 months ago
2005
ACM
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...