( en | de | ru )

 

Disambiguierung von "Malik, Sharad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic Power Management for Microprocessors: A Case Study.

, , , und . VLSI Design, Seite 185-192. IEEE Computer Society, (1997)

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

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)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)Optimization of embedded DSP programs using post-pass data-flow analysis., , , und . ICASSP, Seite 695-698. IEEE Computer Society, (1997)Automated firmware testing using firmware-hardware interaction patterns., und . CODES+ISSS, Seite 25:1-25:10. ACM, (2014)A Technology-Aware and Energy-Oriented Topology Exploration for On-Chip Networks., , und . DATE, Seite 1238-1243. IEEE Computer Society, (2005)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver., , , , und . DAC, Seite 747-750. ACM, (2002)Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing., und . DATE, Seite 1244-1249. IEEE Computer Society, (2004)