Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Verlag

Publikation

Sprache

Geographischer Bezug

107 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Uncovering bugs in P4 programs with assertion based verification
    Freire, Lucas Menezes
    In: Biblioteca Digital de Teses e Dissertações da UFRGS, 2018
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Uncovering bugs in P4 programs with assertion based verification ; Revelando bugs em programação P4 com verificação baseada em asserções
    Freire, Lucas Menezes ; Barcellos, Antonio Marinho Pilla ; et al.
    2018
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Improving Bug Visibility using System-Level Assertions and Transactions
    Barber, Kristin M.
    2013
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Reproducing shared-memory concurrency bugs for bug diagnostics
    Zhou, Jinguo
    2016
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A complete assertion-based verification framework from the edge to the cloud
    Germiniani, Samuele
    2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Combining logical and probabilistic reasoning in program analysis
    Zhang, Xin ; Naik, Mayur ; et al.
    2018
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Memory consistency directed cache coherence protocols for scalable multiprocessors
    Elver, Marco Iskender ; Nagarajan, Vijayanand ; et al.
    2016
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Methods and measures for statistical fault localisation
    Landsberg, David ; Kroening, Daniel ; et al.
    2016
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Finding Termination and Time Improvement in Predicate Abstraction with Under-Approximation and Abstract Matching
    Kudra, Dritan
    In: Theses and Dissertations
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Modelling, verification and test of high-level robotic plans ; Modellierung, Verifikation und Test von abstrakten robotischen Plänen
    Meywerk, Tim ; Drechsler, Rolf ; et al.
    2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Language Techniques for Automated Verifiction of Web Security
    Renner, John
    2022
    Hochschulschrift
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques
    Hossain, Naorin ; Martonosi, Margaret ; et al.
    2024
    Hochschulschrift
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Runtime Verification and Debugging of Concurrent Software
    Zhang, Lu
    2016
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    UVM Verification of a Floating Point Multiplier
    Marsaw, Nicholas J
    2019
    Hochschulschrift
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Modular and Safe Event-Driven Programming
    Desai, Ankush Pankaj
    2019
    Hochschulschrift
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A Vector processing unit implementation for RISC-V vector extension: Functional verification and assertions on submodules
    Valente, Luca ; Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica ; et al.
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Functional and formal verification on submodules of a vector processing unit based on RISC-V V-extension
    Guglielmi, Vito Luca ; Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica ; et al.
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Effective error explanation techniques for concurrent software
    Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; et al.
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Formal Methods for a Robust Domain Name System
    Kakarla, Siva Kesava Reddy
    2022
    Hochschulschrift
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques
    Fernández de Retana, Yon
    2018
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -