756 search results - page 109 / 152 » Performance prediction based on inherent program similarity |
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
122
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—With the proliferation of wireless multimedia applications, multicast/broadcast has been recognized as an efficient technique to transmit a large volume of data to mult...
185
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...
56
Voted
BMCBI
2008
14 years 9 months ago
2008
Background: Bioinformatics tools are commonly used for assessing potential protein allergenicity. While these methods have achieved good accuracies for highly conserved sequences,...