Sciweavers

11211 search results - page 426 / 2243
» Data Structures
Sort
View
161
Voted
MPC
2000
Springer
113views Mathematics» more  MPC 2000»
15 years 10 months ago
Proving Pointer Programs in Hoare Logic
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
Richard Bornat
ESA
2008
Springer
73views Algorithms» more  ESA 2008»
15 years 8 months ago
On the Size of the 3D Visibility Skeleton: Experimental Results
Abstract. The 3D visibility skeleton is a data structure used to encode global visibility information about a set of objects. Previous theoretical results have shown that for k con...
Linqiao Zhang, Hazel Everett, Sylvain Lazard, Chri...
IC
2003
15 years 8 months ago
Marshalgen: A Package for Semi-Automatic Marshaling of Objects
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...
Gene Cooperman, Ning Ke, Huanmei Wu
165
Voted
CCR
2010
110views more  CCR 2010»
15 years 7 months ago
An improved analysis of the lossy difference aggregator
We provide a detailed analysis of the Lossy Difference Aggregator, a recently developed data structure for measuring latency in a router environment where packet losses can occur....
Hilary Finucane, Michael Mitzenmacher
WABI
2005
Springer
120views Bioinformatics» more  WABI 2005»
16 years 9 days ago
Multiple Structural RNA Alignment with Lagrangian Relaxation
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
Markus Bauer, Gunnar W. Klau, Knut Reinert