Sciweavers

3387 search results - page 14 / 678
» Parallel graphics and visualization
Sort
View
106
Voted
ACPC
1999
Springer
15 years 1 months ago
Asynchronous Parallel Construction of Recursive Tree Hierarchies
Multi-resolution methods are widely used in scientific visualization, image processing, and computer graphics. While many applications only require an one-time construction of the...
Dirk Bartz, Wolfgang Straßer
ISORC
1999
IEEE
15 years 1 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann