Sciweavers

1419 search results - page 41 / 284
» Power Droop Testing
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
14 years 3 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
ATS
1998
IEEE
112views Hardware» more  ATS 1998»
14 years 2 months ago
Integrated Current Sensing Device for Micro IDDQ Test
A current sensing device, namely Hall Effect MOSFET (HEMOS) is proposed. It is experimentally shown that the HEMOS enables a non-contacting, and non-disturbing current measurement...
Koichi Nose, Takayasu Sakurai
FIS
2010
13 years 10 months ago
Experimental Testing in the Future Internet PERIMETER Project
This submission will provide interested parties with the opportunity to learn more about the FP7 PERIMETER project. Details of the testing and experimental methodologies and the ro...
Eileen Dillon, Gemma Power, Frances Cleary Grant
JLP
2008
91views more  JLP 2008»
13 years 10 months ago
Local variable scoping and Kleene algebra with tests
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
Kamal Aboul-Hosn, Dexter Kozen
BMCBI
2007
95views more  BMCBI 2007»
13 years 10 months ago
Haplotype-based score test for linkage in nuclear families
Background: To look for genetic linkage between angiotensin-I converting enzyme(ACE) gene and hypertension in a Korean adolescent cohort, we developed a powerful test using the co...
Chung Mo Nam, Dae Ryong Kang, Jinheum Kim