( en | de | ru )

 

Disambiguierung von "Ceze, Luis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic execution of multithreaded programs from arbitrary program contexts.

, , und . OOPSLA, Seite 491-506. ACM, (2014)

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.

Ute Reich Cezeaux

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

 

Weitere Publikationen von Autoren mit dem selben Namen

ASPLOS Report., , und . IEEE Des. Test, 37 (3): 119-123 (2020)NCAM: Near-Data Processing for Nearest Neighbor Search., , , , , und . CoRR, (2016)Exploiting quality-energy tradeoffs with arbitrary quantization: special session paper., , , , und . CODES+ISSS, Seite 30:1-30:2. ACM, (2017)An Overview of the Blue Gene/L System Software Organization., , , , , , , , , und 4 andere Autor(en). Euro-Par, Volume 2790 von Lecture Notes in Computer Science, Seite 543-555. Springer, (2003)Disciplined Inconsistency with Consistency Types., , , , , und . SoCC, Seite 279-293. ACM, (2016)Input-covering schedules for multithreaded programs., , und . OOPSLA, Seite 677-692. ACM, (2013)Symbolic execution of multithreaded programs from arbitrary program contexts., , und . OOPSLA, Seite 491-506. ACM, (2014)Approximate Computing: Making Mobile Systems More Efficient., , und . IEEE Pervasive Comput., 14 (2): 9-13 (2015)Genotype Extraction and False Relative Attacks: Security Risks to Third-Party Genetic Genealogy Services Beyond Identity Inference., , und . NDSS, The Internet Society, (2020)DNA Data Storage and Near-Molecule Processing for the Yottabyte Era., und . CIDR, www.cidrdb.org, (2019)