Sciweavers

11211 search results - page 1806 / 2243
» Data Structures
Sort
View
VMV
2007
219views Visualization» more  VMV 2007»
15 years 8 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, ...
188
Voted
DEXA
2010
Springer
182views Database» more  DEXA 2010»
15 years 7 months ago
Minimum Spanning Tree on Spatio-Temporal Networks
Given a spatio-temporal network (ST network) whose edge properties vary with time, a time-sub-interval minimum spanning tree (TSMST) is a collection of distinct minimum spanning t...
Viswanath Gunturi, Shashi Shekhar, Arnab Bhattacha...
ACTA
2010
191views more  ACTA 2010»
15 years 7 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
185
Voted
ACTA
2008
136views more  ACTA 2008»
15 years 7 months ago
Two-dimensional packing with conflicts
We study the two-dimensional version of the bin packing problem with conflicts. We are given a set of (two-dimensional) squares V = {1, 2, . . . , n} with sides s1, s2 . . . , sn ...
Leah Epstein, Asaf Levin, Rob van Stee
177
Voted
CGF
2010
105views more  CGF 2010»
15 years 7 months ago
Streaming-Enabled Parallel Dataflow Architecture for Multicore Systems
We propose a new framework design for exploiting multi-core architectures in the context of visualization dataflow systems. Recent hardware advancements have greatly increased the...
Huy T. Vo, Daniel K. Osmari, Brian Summa, Jo&atild...
« Prev « First page 1806 / 2243 Last » Next »