Sciweavers

4536 search results - page 824 / 908
» Contention-Sensitive Data Structures and Algorithms
Sort
View
BNCOD
2003
91views Database» more  BNCOD 2003»
13 years 11 months ago
Persistent Indexing Technology for Large Sequences
There are two aspects to the work being presented here. The first is a novel persistent index structure for genomic data, a prototype of which has been completed. The second, usin...
Robert Japp
PDPTA
2003
13 years 11 months ago
Managing Flocking Objects with an Octree Spanning a Parallel Message-Passing Computer Cluster
We investigate the management of flocking mobile objects using a parallel message-passing computer cluster. An octree, a data structure well-known for use in managing a 3D space, ...
Thomas E. Portegys, Kevin M. Greenan
VMV
2007
219views Visualization» more  VMV 2007»
13 years 11 months ago
GPU Rendering of Secondary Effects
In this paper we present an efficient data structure and algorithms for GPU ray tracing of secondary effects like reflections, refractions and shadows. Our method extends previo...
Kai Bürger, Stefan Hertel, Jens Krüger, ...
DAGM
2010
Springer
13 years 10 months ago
Complex Motion Models for Simple Optical Flow Estimation
The selection of an optical flow method is mostly a choice from among accuracy, efficiency and ease of implementation. While variational approaches tend to be more accurate than lo...
Claudia Nieuwenhuis, Daniel Kondermann, Christoph ...
ACTA
2010
191views more  ACTA 2010»
13 years 10 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar