Sciweavers

101 search results - page 2 / 21
» A novel approach to entirely integrate Virtual Test into tes...
Sort
View
TJS
2002
136views more  TJS 2002»
13 years 8 months ago
A Virtual Test Facility for the Simulation of Dynamic Response in Materials
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
Julian Cummings, Michael Aivazis, Ravi Samtaney, R...
IS
2007
13 years 8 months ago
Security Attack Testing (SAT) - testing the security of information systems at design time
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
Haralambos Mouratidis, Paolo Giorgini
DATE
2005
IEEE
160views Hardware» more  DATE 2005»
14 years 2 months ago
SOC Testing Methodology and Practice
Abstract—On a commercial digital still camera (DSC) controller chip we practice a novel SOC test integration platform, solving real problems in test scheduling, test IO reduction...
Cheng-Wen Wu
TE
2010
168views more  TE 2010»
13 years 3 months ago
Industry-Oriented Laboratory Development for Mixed-Signal IC Test Education
The semiconductor industry is lacking qualified integrated circuit (IC) test engineers to serve in the field of mixed-signal electronics. The absence of mixed-signal IC test educat...
John Hu, Mark Haffner, Samantha Yoder, Mark Scott,...
LICS
2008
IEEE
14 years 2 months ago
Nonlocal Flow of Control and Kleene Algebra with Tests
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
Dexter Kozen