14244 search results - page 479 / 2849 » Modeling Program Predictability |
139
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
158
click to vote
EVOW
2004
Springer
15 years 10 months ago
2004
Springer
We present an algorithm for identifying putative non-coding RNA (ncRNA) using an RCSG (RNA Common-Structural Grammar) and show the effectiveness of the algorithm. The algorithm con...
169
click to vote
MICRO
1993
IEEE
15 years 9 months ago
1993
IEEE
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...
106
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Automatically assessing the value of bioavailability from the chemical structure of a molecule is a very important issue in biomedicine and pharmacology. In this paper, we present...
175
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...