1901 search results - page 96 / 381 » Predicting Program Properties from |
110
Voted
EMSOFT
2006
Springer
15 years 6 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...
111
Voted
BMCBI
2007
15 years 2 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...
141
Voted
BMCBI
2007
15 years 2 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...
135
Voted
CJ
2010
15 years 5 days 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...
222
Voted
ICLP
2009
Springer
16 years 3 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...