( en | de | ru )

 

Disambiguierung von "Safar, Mona"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A novel conflict directed jumping algorithm for hardware-based SAT solvers.

, , , und . IDT, Seite 103-108. IEEE, (2010)

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.

Agnoula Safar

Horst Safarovic

Mher Safarian

Hans-Christian Safar

Joseph Safari

 

Weitere Publikationen von Autoren mit dem selben Namen

Hardware-accelerated service-oriented communication for AUTOSAR platforms., , und . Des. Autom. Embed. Syst., 27 (3): 191-216 (September 2023)Asil decomposition using SMT.. FDL, Seite 1-6. IEEE, (2017)SystemVerilog assertion debugging: A visualization and pattern matching model., , , und . PACRIM, Seite 385-390. IEEE, (2015)Verification of Neural Networks for Safety Critical Applications., , und . ICM, Seite 1-4. IEEE, (2020)Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform., , , und . HPCS, Seite 403-410. IEEE, (2016)TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip., , , und . MTV, Seite 1-4. IEEE Computer Society, (2011)Automatic test pattern generation for virtual hardware model using constrained symbolic execution., , , und . IDT, Seite 149-150. IEEE, (2015)Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network., , und . DTIS, Seite 1-6. IEEE, (2020)A novel approach for system level synthesis of multi-core system architectures from TPG models., , , , und . AICCSA, Seite 268-275. IEEE Computer Society, (2011)Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard., und . DTIS, Seite 1-6. IEEE, (2019)