1760 search results - page 147 / 352 » Program Analysis Using Weighted Pushdown Systems |
104
Voted
BMCBI
2010
15 years 25 days ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
107
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
108
click to vote
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
CASES
2009
ACM
15 years 7 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
118
Voted
BMCBI
2002
15 years 17 days ago
2002
Background: The availability of biomedical literature in electronic format has made it possible to implement automatic text processing methods to expose implicit relationships amo...