Sciweavers

198 search results - page 6 / 40
» Automatic Performance Diagnosis of Parallel Computations wit...
Sort
View
RTSS
1995
IEEE
13 years 11 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
ICIP
2010
IEEE
13 years 5 months ago
Statistical modeling of the lung nodules in low dose computed tomography scans of the chest
This work presents a novel approach in automatic detection of the lung nodules and is compared with respect to parametric nodule models in terms of sensitivity and specificity. A ...
Amal A. Farag, James Graham, Salwa Elshazly, Aly F...
ICS
2009
Tsinghua U.
14 years 2 months ago
Performance modeling and automatic ghost zone optimization for iterative stencil loops on GPUs
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
Jiayuan Meng, Kevin Skadron
ICDM
2006
IEEE
155views Data Mining» more  ICDM 2006»
14 years 1 months ago
Automatic Single-Organ Segmentation in Computed Tomography Images
In this paper, we propose a hybrid approach for automatic single-organ segmentation in Computed Tomography (CT) data. The approach consists of three stages: first, a probability i...
Ruchaneewan Susomboon, Daniela Stan Raicu, Jacob D...
IPPS
2003
IEEE
14 years 22 days ago
Automatic Resource Management Using an Adaptive Parallelism Environment
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
David Wangerin, Isaac D. Scherson