13500 search results - page 4 / 2700 » Improved analysis of D |
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
One of the hallmarks of Alzheimer’s disease (AD) is the loss of neurons in the brain. In many cases, the medical experts use MR (magnetic resonance) images to qualitatively meas...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
— IT-security has become a much diversified field and small and medium sized enterprises (SMEs), in particular, do not have the financial ability to implement a holistic IT-se...
TCBB
2010
14 years 8 months ago
2010
— The recent development of methods for extracting precise measurements of spatial gene expression patterns from three-dimensional (3D) image data opens the way for new analyses ...
DAC
2011
ACM
13 years 9 months ago
2011
ACM
This paper studies TSV-to-TSV coupling in 3D ICs. A full-chip SI analysis flow is proposed based on the proposed coupling model. Analysis results show that TSVs cause significan...