Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
9 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

Publikation

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification
    Zhang, Hongce ; Trippel, Caroline ; et al.
    In: 2018 Formal Methods in Computer Aided Design (FMCAD), 2018-10-01, S. 1-10
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Complete Test Sets And Their Approximations
    Goldberg, Eugene
    In: 2018 Formal Methods in Computer Aided Design (FMCAD), 2018-10-01, S. 1-9
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques
    Rao, Vikas ; Gupta, Utkarsh ; et al.
    In: 2018 Formal Methods in Computer Aided Design (FMCAD), 2018-10-01, S. 1-9
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Synthesizing adaptive test strategies from temporal logic specifications
    Bloem, Roderick ; Konighofer, Robert ; et al.
    In: 2016 Formal Methods in Computer-Aided Design (FMCAD), 2016-10-01, S. 17-24
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Template-based synthesis of instruction-level abstractions for SoC verification
    Subramanyan, P. ; Vizel, Y. ; et al.
    In: 2015 Formal Methods in Computer-Aided Design (FMCAD), 2015-09-01, S. 160-167
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Network verification — When Clarke meets Cerf
    Varghese, George
    In: 2016 Formal Methods in Computer-Aided Design (FMCAD), 2016-10-01, S. 3-3
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Program synthesis for networks
    Cerny, Pavol
    In: 2016 Formal Methods in Computer-Aided Design (FMCAD), 2016-10-01, S. 7-7
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A consistency checker for memory subsystem traces
    Naylor, Matthew ; Moore, Simon W. ; et al.
    In: 2016 Formal Methods in Computer-Aided Design (FMCAD), 2016-10-01, S. 133-140
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Trustworthy specifications of ARM® v8-A and v8-M system level architecture
    Reid, Alastair
    In: 2016 Formal Methods in Computer-Aided Design (FMCAD), 2016-10-01, S. 161-168
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -