Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

63 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Hochschulschrift
  2. Detailansicht für Treffer 2 öffnen
    Towards Efficient Ensemble Method for Bug Triaging
    الصبيح, آيات ; عكور, محمد
    2017
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    TARGETED, REALISTIC AND NATURAL FAULT INJECTION : (USING BUG REPORTS AND GENERATIVE LANGUAGE MODELS)
    Khanfir, Ahmed ; Le Traon, Yves
    2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Automating the Detection and Correction of Failures in Modern Persistent Memory Systems
    Neal, Ian ; Kasikci, Baris ; et al.
    2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Measured Values Lost in Time-or How I rose from a User to a Developer of Palladio
    Hilbrich, Marcus ; Lehrig, Sebastian ; et al.
    2016
    Online Hochschulschrift
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Finding and Tolerating Concurrency Bugs.
    Yu, Jie ; Narayanasamy, Satish ; et al.
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Leveraging Processor Features for System Security
    Aweke, Zelalem Birhanu ; Austin, Todd M ; et al.
    2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Development of a floe-ice breaking simulation for the generation of propeller–ice load spectra ... : Entwicklung einer Simulation für das Brechen von Eisschollen zum Erstellen eines Propeller-Eislast Spektrums ...
    Sapp, Lina
    2023
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Guiding Quality Assurance Through Context Aware Learning
    Garg, Aayush ; Le Traon, Yves
    2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Assuring Software Dependability of Smart Systems
    Almanee, Sumaya
    2022
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Correct-by-Construction Control Adaptation against Sensing, Model, and Information Uncertainty ...
    Rutledge, Kwesi
    2022
    Hochschulschrift
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Software Vulnerabilities Odysseus: Analysis, Detection, and Mitigation
    Riom, Timothée ; Klein, Jacques
    2022
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Finding Attacks and Vulnerabilities in Critical Systems
    Das, Dipanjan
    2023
    Hochschulschrift
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Taming Android App Crashes
    Kong, Pingfan ; Klein, Jacques
    2021
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Boosting Automated Program Repair for Adoption By Practitioners
    Koyuncu, Anil ; Le Traon, Yves
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Deep Pattern Mining for Program Repair
    Liu, Kui ; Le Traon, Yves ; et al.
    2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Automating the Verification of Distributed Systems
    Ma, Haojun ; Kapritsos, Manos ; et al.
    2022
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Analyzing the Unanalyzable: an Application to Android Apps
    Samhi, Jordan ; Klein, Jacques ; et al.
    2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Hardware-Software Co-optimization for Dynamic Languages
    Ismail, Mohamed
    2019
    Hochschulschrift
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Data-Centric Execution Inspection
    Quinn, Andrew ; Flinn, Jason Nelson ; et al.
    2021
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -