Autor der Publikation

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

Learning Semantic Representations to Verify Hardware Designs., , , , , , und . NeurIPS, Seite 23491-23504. (2021)A Survey on Human-AI Teaming with Large Pre-Trained Models., , , , , , , , , und 13 andere Autor(en). CoRR, (2024)Chip Placement with Deep Reinforcement Learning., , , , , , , , , und 12 andere Autor(en). CoRR, (2020)Anton, a Special-purpose Machine for Molecular Dynamics Simulation, , , , , , , , , und 17 andere Autor(en). Commun. ACM, 51 (7): 91--97 (Juli 2008)Warehouse-scale video acceleration: co-design and deployment in the wild., , , , , , , , , und 42 andere Autor(en). ASPLOS, Seite 600-615. ACM, (2021)Architecture Validation for Processors., , , und . ISCA, Seite 404-413. ACM, (1995)Anton, a special-purpose machine for molecular dynamics simulation., , , , , , , , , und 17 andere Autor(en). ISCA, Seite 1-12. ACM, (2007)Hierarchical simulation-based verification of Anton, a special-purpose parallel machine., , , , , , , , , und 5 andere Autor(en). ICCD, Seite 340-347. IEEE Computer Society, (2008)Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic., , , , , und . DAC, Seite 268-271. ACM, (2008)Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer., , , , , , , , , und 35 andere Autor(en). SC, Seite 41-53. IEEE Computer Society, (2014)