1452 search results - page 152 / 291 » Algorithmic Analysis of Array-Accessing Programs |
101
Voted
DOCENG
2009
ACM
15 years 8 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
95
Voted
LCPC
2001
Springer
15 years 6 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
127
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
129
Voted
SCFBM
2008
15 years 1 months ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...
111
Voted
CASES
2009
ACM
15 years 8 months ago
2009
ACM
Solid State Disks (SSDs) are superior to magnetic disks from a performance point of view due to the favorable features of NAND flash memory. Furthermore, thanks to improvement on...