4725 search results - page 82 / 945 » Dependence-Based Program Analysis |
116
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Microarray technology has unveiled transcriptomic differences among tumors of various phenotypes, and, especially, brought great progress in molecular understanding of...
143
Voted
BIB
2011
14 years 9 months ago
2011
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
111
click to vote
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
152
Voted
TGC
2010
Springer
15 years 12 days ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
142
Voted
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...