Sciweavers

3972 search results - page 766 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
TMI
2008
101views more  TMI 2008»
15 years 3 months ago
Robust Linearized Image Reconstruction for Multifrequency EIT of the Breast
Abstract--Electrical impedance tomography (EIT) is a developing imaging modality that is beginning to show promise for detecting and characterizing tumors in the breast. At Renssel...
Gregory Boverman, Tzu-Jen Kao, Rujuta Kulkarni, Bo...
CASES
2007
ACM
15 years 7 months ago
Performance optimal processor throttling under thermal constraints
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
Ravishankar Rao, Sarma B. K. Vrudhula
CMSB
2006
Springer
15 years 7 months ago
Type Inference in Systems Biology
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
François Fages, Sylvain Soliman
WCE
2007
15 years 4 months ago
Sparse Matrix Multiplication Using UPC
—Partitioned global address space (PGAS) languages, such as Unified Parallel C (UPC) have the promise of being productive. Due to the shared address space view that they provide,...
Hoda El-Sayed, Eric Wright
HPDC
2010
IEEE
15 years 4 months ago
Comparison of resource platform selection approaches for scientific workflows
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
Yogesh L. Simmhan, Lavanya Ramakrishnan