Sciweavers

534 search results - page 49 / 107
» Markov Reward Approach to Performability and Reliability Ana...
Sort
View
DAC
2006
ACM
13 years 11 months ago
Refined statistical static timing analysis through
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
Benjamin N. Lee, Li-C. Wang, Magdy S. Abadir
MICCAI
2004
Springer
14 years 8 months ago
Deformable Registration of Tumor-Diseased Brain Images
This paper presents an approach for deformable registration of a normal brain atlas to visible anatomic structures in a tumor-diseased brain image. We restrict our attention to cor...
Tianming Liu, Dinggang Shen, Christos Davatzikos
ICAC
2009
IEEE
14 years 2 months ago
Multi-perspective evaluation of self-healing systems using simple probabilistic models
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
Rean Griffith, Gail E. Kaiser, Javier Alonso L&oac...
ICAPR
2005
Springer
14 years 1 months ago
Fingerprint Image Enhancement Using STFT Analysis
Contrary to popular belief, despite decades of research in fingerprints, reliable fingerprint recognition is an open problem. Extracting features out of poor quality prints is t...
Sharat Chikkerur, Venu Govindaraju, Alexander N. C...
DAC
2003
ACM
14 years 8 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...