Sciweavers

3779 search results - page 280 / 756
» Linear Consistency Testing
Sort
View
DT
2000
88views more  DT 2000»
15 years 6 months ago
Postsilicon Validation Methodology for Microprocessors
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
Hemant G. Rotithor
ISBI
2008
IEEE
16 years 7 months ago
Non-tracking-based 2D strain estimation in tagged MRI
Tagged MRI is a non-invasive technique to assess myocardial deformations. In this paper, we developed a novel non-tracking-based strain estimation method for tagged MRI. This meth...
Zhen Qian, Dimitris N. Metaxas, Leon Axel
OSDI
2008
ACM
16 years 7 months ago
Finding and Reproducing Heisenbugs in Concurrent Programs
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
Gérard Basler, Iulian Neamtiu, Madanlal Mus...
SAC
2005
ACM
16 years 5 days ago
The container loading problem
This paper addresses single and multiple container loading problems. We propose to use dynamic prioritization to handle awkward box types. The box type with a higher priority will...
Andrew Lim, Xingwen Zhang
MCS
2005
Springer
16 years 3 days ago
Half-Against-Half Multi-class Support Vector Machines
A Half-Against-Half (HAH) multi-class SVM is proposed in this paper. Unlike the commonly used One-Against-All (OVA) and One-Against-One (OVO) implementation methods, HAH is built ...
Hansheng Lei, Venu Govindaraju