Autor der Publikation

Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.

, , , und . J. Electronic Testing, 22 (3): 273-285 (2006)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstraction-Guided Simulation Using Markov Analysis for Functional Verification., , , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 35 (2): 285-297 (2016)A new certificateless authenticated key agreement protocol for SIP with different KGCs., , und . Security and Communication Networks, 6 (5): 631-643 (2013)EcoUp: Towards Economical Datacenter Upgrading., , , und . IEEE Trans. Parallel Distrib. Syst., 27 (7): 1968-1981 (2016)An approach to behavioral synthesis for loop-based BIST., und . ISCAS (6), Seite 374-377. IEEE, (1999)A Lightweight Scheme for Trust Relationship Establishment in Ubiquitous Sensor Networks., , , und . CIT, Seite 229. IEEE Computer Society, (2006)A robust Chinese remainder theorem with its applications in frequency estimation from undersampled waveforms., , und . IEEE Trans. Signal Processing, 57 (11): 4314-4322 (2009)Graph partition based path selection for testing of small delay defects., , , und . ASP-DAC, Seite 499-504. IEEE, (2010)Chaotic image encryption using pseudo-random masks and pixel mapping., , und . Signal Processing, (2016)Lightweight Timing Channel Protection for Shared DRAM Controller., , , und . ITC, Seite 1-10. IEEE, (2018)Modeling and Recognition of Landmark Image Collections Using Iconic Scene Graphs., , , , und . ECCV (1), Volume 5302 von Lecture Notes in Computer Science, Seite 427-440. Springer, (2008)