6059 search results - page 309 / 1212 » A Technique for Verifying Measurements |
146
click to vote
MR
2008
15 years 6 months ago
2008
Stress intensities of a singular near-tip field around the vertex of a triple junction wedge in multilevel thin film packages are calculated using the two-state M-integral. For th...
204
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper discusses the topic of dimensionality reduction for k-means clustering. We prove that any set of n points in d dimensions (rows in a matrix A ∈ Rn×d ) can be project...
200
click to vote
ATS
2010
IEEE
15 years 4 months ago
2010
IEEE
One of the most challenging problems in post-silicon validation is to identify those errors that cause prohibitive extra delay on speedpaths in the circuit under debug (CUD) and o...
170
click to vote
IPAW
2010
15 years 4 months ago
2010
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...
185
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...