1452 search results - page 149 / 291 » Algorithmic Analysis of Array-Accessing Programs |
110
click to vote
CGO
2007
IEEE
15 years 7 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
123
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
90
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
117
click to vote
BMCBI
2005
15 years 15 days ago
2005
Background: The identification of local similarities between two protein structures can provide clues of a common function. Many different methods exist for searching for similar ...
103
click to vote
RECOMB
2003
Springer
16 years 28 days ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...