5159 search results - page 374 / 1032 » Structural Testing of Executables |
201
click to vote
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we propose a method for discrimination of underlying textural structures from spotlight-mode synthetic aperture radar (SAR) returns by using a tomographic data acqui...
229
Voted
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
133
Voted
MR
2006
15 years 7 months ago
2006
We studied electromigration (EM) lifetimes and void growth at low cumulative failure probability. We carried out EM test in damascene Cu lines using sudden-death type test structu...
176
Voted
IVC
2002
15 years 7 months ago
2002
The problem of image segmentation using constraint satisfaction neural networks (CSNN) has been considered. Several variations of the CSNN theme have been advanced to improve its ...
203
click to vote
JCPHY
2011
14 years 10 months ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...