Sciweavers

6299 search results - page 211 / 1260
» Data and Computation Abstractions for Dynamic and Irregular ...
Sort
View
CONCUR
2005
Springer
16 years 21 days ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...
INFOCOM
2010
IEEE
15 years 5 months ago
Dynamic Control of Coding in Delay Tolerant Networks
Abstract--We study replication mechanisms that include ReedSolomon type codes as well as network coding in order to improve the probability of successful delivery within a given ti...
Eitan Altman, Francesco De Pellegrini, Lucile Sass...
ICMCS
2006
IEEE
150views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Dynamic View-Dependent Multiresolution Terrain Visualization
Large-area terrain visualization is important to multimedia and military applications. However, such a huge amount of terrain data is not easily able to process on a general perso...
Din-Chang Tseng, Chung-Chieh Huang
IPPS
1999
IEEE
15 years 11 months ago
A New Approach to Parallel Dynamic Partitioning for Adaptive Unstructured Meshes
Classical mesh partitioning algorithms were designed for rather static situations, and their straightforward application in a dynamical framework may lead to unsatisfactory result...
Gerd Heber, Guang R. Gao, Rupak Biswas
KDD
2000
ACM
222views Data Mining» more  KDD 2000»
15 years 10 months ago
Interactive exploration of very large relational datasets through 3D dynamic projections
The grand tour, one of the most popular methods for multidimensional data exploration, is based on orthogonally projecting multidimensional data to a sequence of lower dimensional...
Li Yang