ARTS
1999
Springer
1999
Springer
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
14 years 2 days ago
ARTS
1999
Springer
14 years 2 days ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
For lighting simulations in architecture there is the need for correct illumination calculation of virtual scenes. The Radiance Synthetic Imaging System delivers an excellent solut...
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
Abstract. A number of techniques are described for solving sparse linear systems on parallel platforms. The general approach used is a domaindecomposition type method in which a pr...
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. Its main goal is to provide pa...
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
In this work we discuss hardware and software aspects of parallel 3-D wavelet/subband decomposition on shared memory MIMD computers. Experimental results are conducted on a SGI POW...
ACPC
1999
Springer
14 years 2 days ago
1999
Springer
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...