Sciweavers

299 search results - page 2 / 60
» date 2003
Sort
View
DATE
2003
IEEE
80views Hardware» more  DATE 2003»
14 years 1 months ago
Verification of Proofs of Unsatisfiability for CNF Formulas
Evguenii I. Goldberg, Yakov Novikov
DATE
2003
IEEE
101views Hardware» more  DATE 2003»
14 years 1 months ago
Introduction to Hardware Abstraction Layers for SoC
Sungjoo Yoo, Ahmed Amine Jerraya