Sciweavers

3229 search results - page 130 / 646
» Mixing
Sort
View
FOCS
2003
IEEE
15 years 6 months ago
Mixing
Dana Randall
98
Voted
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 6 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
49
Voted
HICSS
2003
IEEE
79views Biometrics» more  HICSS 2003»
15 years 6 months ago
Mixed-Initiative Control for Remote Characterization of Hazardous Environments
David J. Bruemmer, Julie L. Marble, Donald D. Dude...
84
Voted
ICCAD
2003
IEEE
159views Hardware» more  ICCAD 2003»
15 years 6 months ago
Mixed Signal DFT: A Concise Overview
Practical mixed-signal DFT solutions are presented with an emphasis on performance, cost, and test coverage. Special consideration is given to the possible DFT techniques for Phas...
Bozena Kaminska, Karim Arabi
ICTAI
2003
IEEE
15 years 6 months ago
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
Benjamin W. Wah, Yixin Chen