12272 search results - page 188 / 2455 » Experimental program analysis |
205
click to vote
BIB
2011
15 years 1 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...
157
click to vote
EUROPAR
2000
Springer
15 years 10 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...
213
click to vote
TGC
2010
Springer
15 years 4 months 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 ...
189
click to vote
RTSS
2009
IEEE
16 years 1 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...
166
click to vote
IEEEPACT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...