Sciweavers

5564 search results - page 648 / 1113
» Performance Modeling of HPC Applications
Sort
View
ICCAD
1999
IEEE
148views Hardware» more  ICCAD 1999»
15 years 11 months ago
SAT based ATPG using fast justification and propagation in the implication graph
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
Paul Tafertshofer, Andreas Ganz
WSC
1997
15 years 8 months ago
Visualizing Parallel Simulations in Network Computing Environments: A Case Study
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...
Christopher D. Carothers, Brad Topol, Richard Fuji...
CVPR
2001
IEEE
16 years 8 months ago
Light Field Rendering for Large-Scale Scenes
In this paper, we present an efficient method to synthesize large-scale scenes, such as broad city landscapes. To date, model based approaches have mainly been adopted for this pu...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
ICCV
2003
IEEE
16 years 8 months ago
Epitomic analysis of appearance and shape
See www.research.microsoft.com/jojic/epitome.htm for videos, comparisons and applications. We present novel simple appearance and shape models that we call epitomes. The epitome o...
Nebojsa Jojic, Brendan J. Frey, Anitha Kannan
ICCV
2003
IEEE
16 years 8 months ago
Maintaining Multi-Modality through Mixture Tracking
In recent years particle filters have become a tremendously popular tool to perform tracking for non-linear and/or non-Gaussian models. This is due to their simplicity, generality...
Arnaud Doucet, Jaco Vermaak, Patrick Pérez