Sciweavers

313 search results - page 10 / 63
» Visual Design and Reasoning with the Use of Hypergraph Trans...
Sort
View
APLAS
2008
ACM
13 years 9 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
SOSYM
2010
107views more  SOSYM 2010»
13 years 5 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
VIS
2007
IEEE
169views Visualization» more  VIS 2007»
14 years 8 months ago
Transform Coding for Hardware-accelerated Volume Rendering
Hardware-accelerated volume rendering using the GPU is now the standard approach for real-time volume rendering, although limited graphics memory can present a problem when renderi...
Nathaniel Fout, Kwan-Liu Ma
VISUALIZATION
2000
IEEE
13 years 12 months ago
Bicubic subdivision-surface wavelets for large-scale isosurface representation and visualization
We introduce a new subdivision-surface wavelet transform for arbitrary two-manifolds with boundary that is the first to use simple lifting-style filtering operations with bicubi...
Martin Bertram, Mark A. Duchaineau, Bernd Hamann, ...
SPE
2002
130views more  SPE 2002»
13 years 7 months ago
Unix tools as visual programming components in a GUI-builder environment
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
Diomidis Spinellis