Sciweavers

441 search results - page 49 / 89
» Reliable Distributed Programming in C : The Arjuna Approach
Sort
View
ESEC
1997
Springer
13 years 12 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ISBI
2008
IEEE
14 years 8 months ago
Robust maximum likelihood estimation in Q-space MRI
Q-space imaging is an emerging diffusion weighted MR imaging technique to estimate molecular diffusion probability density functions (PDF's) without the need to assume a Gaus...
Bennett A. Landman, Jonathan A. D. Farrell, Seth A...
ICPR
2008
IEEE
14 years 2 months ago
Combining shape-from-shading and stereo using Gaussian-Markov random fields
In this paper we present a method of combining stereo and shape-from-shading information, taking account of the local reliability of each shape estimate. Local estimates of dispar...
Tom S. F. Haines, Richard C. Wilson
ICCD
2005
IEEE
129views Hardware» more  ICCD 2005»
14 years 4 months ago
Temperature-Aware Voltage Islands Architecting in System-on-Chip Design
As technology scales, power consumption and thermal effects have become challenges for system-on-chip designers. The rising on-chip temperatures can have negative impacts on SoC p...
Wei-Lun Hung, Greg M. Link, Yuan Xie, Narayanan Vi...
HPCA
2009
IEEE
14 years 2 months ago
Soft error vulnerability aware process variation mitigation
As transistor process technology approaches the nanometer scale, process variation significantly affects the design and optimization of high performance microprocessors. Prior stu...
Xin Fu, Tao Li, José A. B. Fortes