Sciweavers

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