17 search results - page 4 / 4 » Program Synthesis Using Dual Interpretation |
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
BMCBI
2011
12 years 8 months ago
2011
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...