( en | de | ru )

 

Disambiguierung von "Malik, Sharad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Performance estimation of embedded software with instruction cache modeling.

, , und . ACM Trans. Design Autom. Electr. Syst., 4 (3): 257-279 (1999)

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

David Malik

Dagmar Malik

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification and encoding of transaction interaction properties., , und . Formal Methods Syst. Des., 39 (2): 144-164 (2011)Model checking unbounded concurrent lists., , und . Int. J. Softw. Tools Technol. Transf., 18 (4): 375-391 (2016)Certified Timing Verification and the Transition Delay of a Logic Circuit., , , und . DAC, Seite 549-555. IEEE Computer Society Press, (1992)System Level Design: Orthogonolization of Concerns and Platform-Based Design, , , , und . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, (Dezember 2000)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)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)A formal instruction-level GPU model for scalable verification., , , und . ICCAD, Seite 130. ACM, (2018)Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking., , und . VMCAI, Volume 12597 von Lecture Notes in Computer Science, Seite 325-349. Springer, (2021)INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms., , , und . DAC, Seite 1-4. IEEE, (2023)