( en | de | ru )

 

Disambiguierung von "Malik, Sharad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On computing minimal independent support and its applications to sampling and counting.

, , , und . Constraints An Int. J., 21 (1): 41-58 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sharad Chandra

Sharad Prasad

Shalaka Sharad Shah

Nishant Malik

David Malik

 

Weitere Publikationen von Autoren mit dem selben Namen

System Level Design: Orthogonolization of Concerns and Platform-Based Design, , , , und . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, (Dezember 2000)Certified Timing Verification and the Transition Delay of a Logic Circuit., , , und . DAC, Seite 549-555. IEEE Computer Society Press, (1992)Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation., und . CP, Volume 2470 von Lecture Notes in Computer Science, Seite 200-215. Springer, (2002)Exploiting Retiming in a Guided Simulation Based Validation Methodology., , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 350-353. Springer, (1999)On Solving the Partial MAX-SAT Problem., und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 252-265. Springer, (2006)A Retargetable Very Long Instruction Word Compiler Framework for Digital Signal Processors., und . The Compiler Design Handbook, 2nd ed., CRC Press, (2007)Retiming and resynthesis: optimizing sequential networks with combinational techniques., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (1): 74-84 (1991)Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (5): 568-578 (1993)CNNFlow: Memory-driven Data Flow Optimization for Convolutional Neural Networks., und . ACM Trans. Design Autom. Electr. Syst., 28 (3): 40:1-40:36 (2023)Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface., , , , , , , , , und 3 andere Autor(en). ACM Trans. Design Autom. Electr. Syst., 29 (2): 35:1-35:25 (März 2024)