Sciweavers

1620 search results - page 84 / 324
» Testing Polymorphic Properties
Sort
View
128
Voted
ACSAC
2010
IEEE
15 years 20 days ago
A framework for testing hardware-software security architectures
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
Jeffrey S. Dwoskin, Mahadevan Gomathisankaran, Yu-...
ETS
2009
IEEE
117views Hardware» more  ETS 2009»
15 years 13 days ago
A Two Phase Approach for Minimal Diagnostic Test Set Generation
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
Mohammed Ashfaq Shukoor, Vishwani D. Agrawal
105
Voted
SODA
2010
ACM
157views Algorithms» more  SODA 2010»
16 years 1 days ago
Testing monotone high-dimensional distributions
A monotone distribution P over a (partially) ordered domain assigns higher probability to y than to x if y x in the order. We study several natural problems concerning testing pr...
Ronitt Rubinfeld, Rocco A. Servedio
131
Voted
DFT
2006
IEEE
125views VLSI» more  DFT 2006»
15 years 8 months ago
Synthesis of Efficient Linear Test Pattern Generators
This paper presents a procedure for Synthesis of LINear test pattern Generators called SLING. SLING can synthesize linear test pattern generators that satisfy constraints on area,...
Avijit Dutta, Nur A. Touba
135
Voted
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
15 years 6 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva