1392 search results - page 177 / 279 » Dynamic Data Structure Analysis for Java Programs |
131
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...
99
Voted
ICFEM
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
124
click to vote
VMV
2000
15 years 3 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
142
Voted
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
115
Voted
CCCG
2008
15 years 3 months ago
2008
Many important problems in Computational Geometry needs to perform some kind of angle processing. The Polar Diagram [4] is a locus approach for problems processing angles. Using t...