Sciweavers

28 search results - page 1 / 6
» ats 2010
Sort
View
ATS
2010
IEEE
239views Hardware» more  ATS 2010»
13 years 2 months ago
Mining Complex Boolean Expressions for Sequential Equivalence Checking
Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, M...
NAR
2010
165views more  NAR 2010»
12 years 11 months ago
PhosPhAt: the Arabidopsis thaliana phosphorylation site database. An update
: Growth and development of plants depends on uptake and assimilation of nutrients. Many assimilation products of macronutrients are not only essential for plant growth but also ha...
Pawel Durek, Robert Schmidt, Joshua L. Heazlewood,...
ICPR
2010
IEEE
13 years 3 months ago
Face Recognition At-A-Distance Using Texture, Dense and Sparse-Stereo Reconstruction
This paper introduces a framework for long-distance face recognition using dense and sparse stereo reconstruction, with texture of the facial region. Two methods to determine corr...
Ham Rara, Asem Ali, Shireen Elhabian, Aly A. Farag
MICRO
2010
IEEE
186views Hardware» more  MICRO 2010»
13 years 2 months ago
SAFER: Stuck-At-Fault Error Recovery for Memories
As technology scaling poses a threat to DRAM scaling due to physical limitations such as limited charge, alternative memory technologies including several emerging non-volatile me...
Nak Hee Seong, Dong Hyuk Woo, Vijayalakshmi Sriniv...