( en | de | ru )

 

Disambiguierung von "Sakallah, Karem A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable Hybrid Verification of Complex Microprocessors.

, , , , , und . DAC, Seite 41-46. ACM, (2001)

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.

Karem Gomaa

Elizabeth Karema

Mahmoud Mohamed Ali Karemi

R. A. A. Bowler

°Ake °Akerström

 

Weitere Publikationen von Autoren mit dem selben Namen

Incorporating user control in automated interactive scheduling systems., , , , und . Conference on Designing Interactive Systems, Seite 306-309. ACM, (2010)Dynamic symmetry-breaking for improved Boolean optimization., , , und . ASP-DAC, Seite 445-450. ACM Press, (2005)Concurrent path sensitization in timing analysis., und . EURO-DAC, Seite 196-199. IEEE Computer Society, (1993)Critical paths in circuits with level-sensitive latches., , und . IEEE Trans. Very Large Scale Integr. Syst., 3 (2): 273-291 (1995)Analysis and Design of Latch-Controlled Synchronous Digital Circuits., , und . DAC, Seite 111-117. IEEE Computer Society Press, (1990)The Aurora RAM Compiler., , , , und . DAC, Seite 261-266. ACM Press, (1995)Transistor placement for noncomplementary digital VLSI cell synthesis., und . ACM Trans. Design Autom. Electr. Syst., 8 (1): 81-107 (2003)Identifying Conflicts in Overconstrained Temporal Problems., , , und . IJCAI, Seite 205-211. Professional Book Center, (2005)Efficient Symmetry Breaking for Boolean Satisfiability., , und . IJCAI, Seite 271-276. Morgan Kaufmann, (2003)euforia: Complete Software Model Checking with Uninterpreted Functions., und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 363-385. Springer, (2019)