( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Accelerating Boolean Satisfiability with Configurable Hardware.

, , , и . FCCM, стр. 186-195. IEEE Computer Society, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ashar Javed

Pranav Tendulkar

Pranav Oberoi

Mohamed Ashari

Siamak Asharin-Fard

 

Другие публикации лиц с тем же именем

Exploiting Retiming in a Guided Simulation Based Validation Methodology., , и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 350-353. Springer, (1999)An Edge-endpoint-based Configurable Hardware Architecture for VLSI Layout Design Rule Checking., , и . VLSI Design, 10 (3): 249-263 (2000)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver., , , , и . DAC, стр. 747-750. ACM, (2002)Verification of Embedded Memory Systems using Efficient Memory Modeling., , и . DATE, стр. 1096-1101. IEEE Computer Society, (2005)Property-specific witness graph generation for guided simulation., , , , , и . DATE, стр. 799. IEEE Computer Society, (2001)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs., , , , и . ICCAD, стр. 286-292. IEEE Computer Society, (2001)Scheduling Techniques to Enable Power Management., , , и . DAC, стр. 349-352. ACM Press, (1996)Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability., , , и . DAC, стр. 194-199. ACM Press, (1998)Technology Mapping for Lower Power., , и . DAC, стр. 74-79. ACM Press, (1993)Panel: Assertion-Based Verification -What's the Big Deal?, , , , , , и . HLDVT, стр. 183. IEEE Computer Society, (2006)