Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
11 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Complexity Analysis of the SAT Attack on Logic Locking
    Zhong, Y. ; Guin, U.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-10-01), Heft 10, S. 3143-3156
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Making Deduction More Effective in SAT Solvers
    Han, H. ; Somenzi, F. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010-08-01), Heft 8, S. 1271-1284
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Neural Network-Based Cognitive Obfuscation Toward Enhanced Logic Locking
    Hassan, R. ; Kolhe, G. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 41 (2022-11-01), Heft 11, S. 4587-4599
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Semi-Tensor Product-Based Exact Synthesis for Logic Rewriting
    Pan, H. ; Xia, Y. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 43 (2024-04-01), Heft 4, S. 1093-1106
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Speeding Up Functional Timing Analysis by Concise Formulation of Timed Characteristic Functions
    Wu, D.C. ; Liang, A.C. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-12-01), Heft 12, S. 5281-5294
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
    Haaswijk, W. ; Soeken, M. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-04-01), Heft 4, S. 871-884
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit
    Neto, W.L. ; Li, Y. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-06-01), Heft 6, S. 1912-1925
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    SeqL+: Secure Scan-Obfuscation With Theoretical and Empirical Validation
    Potluri, S. ; Kundu, S. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-05-01), Heft 5, S. 1406-1410
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Constraint Solving for Synthesis and Verification of Threshold Logic Circuits
    Lee, N. ; Jiang, J.R.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 40 (2021-05-01), Heft 5, S. 904-917
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Nearly-2-SAT Solutions for Segmented-Channel Routing
    Mukherjee, S. ; Roy, S.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 35 (2016), Heft 1, S. 128-128
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    On Acceleration of SAT-Based ATPG for Industrial Designs
    Drechsler, R. ; Eggergluss, S. ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 27 (2008-07-01), Heft 7, S. 1329-1333
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -