1901 search results - page 96 / 381 » Predicting Program Properties from |
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
BMCBI
2007
14 years 11 months ago
2007
Background: The translation start site plays an important role in the control of translation efficiency of eukaryotic mRNAs. The recognition of the start AUG codon by eukaryotic r...
BMCBI
2007
14 years 11 months ago
2007
Background: An accurate description of protein shape derived from protein structure is necessary to establish an understanding of protein-ligand interactions, which in turn will l...
101
click to vote
CJ
2010
14 years 8 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
178
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...