Sciweavers

1562 search results - page 17 / 313
» Convenience Over Correctness
Sort
View
VTS
2011
IEEE
278views Hardware» more  VTS 2011»
13 years 21 days ago
Designing a fast and adaptive error correction scheme for increasing the lifetime of phase change memories
This paper proposes an adaptive multi-bit error correcting code for phase change memories that provides a manifold increase in the lifetime of phase change memories thereby making...
Rudrajit Datta, Nur A. Touba
MICCAI
2005
Springer
14 years 10 months ago
Respiratory Motion Correction in Emission Tomography Image Reconstruction
In Emission Tomography imaging, respiratory motion causes artifacts in lungs and cardiac reconstructed images, which lead to misinterpretations and imprecise diagnosis. Solutions l...
Mauricio Reyes, Grégoire Malandain, Pierre ...
PVM
2007
Springer
14 years 3 months ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
CLA
2006
13 years 10 months ago
Using FCA to Suggest Refactorings to Correct Design Defects
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
Naouel Moha, Jihene Rezgui, Yann-Gaël Gu&eacu...
CVPR
2012
IEEE
11 years 11 months ago
Exemplar-based human action pose correction and tagging
The launch of Xbox Kinect has built a very successful computer vision product and made a big impact to the gaming industry; this sheds lights onto a wide variety of potential appl...
Wei Shen, Ke Deng, Xiang Bai, Tommer Leyvand, Bain...