Sciweavers

1623 search results - page 56 / 325
» No Sorting
Sort
View
LPAR
2007
Springer
15 years 10 months ago
Decidable Fragments of Many-Sorted Logic
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sa...
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 10 months ago
Extraction of defect density and size distributions from wafer sort test results
Defect density and defect size distributions (DDSDs) are key parameters used in IC yield loss predictions. Traditionally, memories and specialized test structures have been used t...
Jeffrey E. Nelson, Thomas Zanon, Rao Desineni, Jas...