( en | de | ru )

 

Disambiguierung von "Hu, Alan J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond.

, , , , und . EuroS&P, Seite 31-46. IEEE, (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.

Alan J Cienki

Alan J Kallir

Maia Alandjiyska

Safwat Alani

Yilmaz Alan

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatable verification of sequential consistency., und . SPAA, Seite 113-121. ACM, (2001)TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead., , , , und . DAC, Seite 411-416. ACM, (2011)Selection of the optimum uniform partition search.. Computing, 37 (3): 261-264 (1986)Automatic formal verification of DSP software., , und . DAC, Seite 130-135. ACM, (2000)Reducing BDD Size by Exploiting Functional Dependencies., und . DAC, Seite 266-271. ACM Press, (1993)System-on-Chip: Reuse and Integration., , , , , , , , und . Proc. IEEE, 94 (6): 1050-1069 (2006)Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators., , und . ACM Trans. Embed. Comput. Syst., 22 (1): 6:1-6:25 (2023)A Scalable Memory Model for Low-Level Code., und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 290-304. Springer, (2009)Efficient Verification with BDDs using Implicitly Conjoined Invariants., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 3-14. Springer, (1993)Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems., , , und . DNA, Volume 6937 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2011)