Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

21 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis
    Kaoudis, Kelly ; Brodin, Henrik ; et al.
    In: 2023 IEEE Security and Privacy Workshops (SPW), 2023-05-01, S. 187-197
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Bypassing Multicore Memory Bugs With Coarse-Grained Reconfigurable Logic
    Lee, D. ; Bertacco, V.
    In: IEEE Transactions on Computers, Jg. 71 (2022-09-01), Heft 9, S. 2191-2204
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Fuzz4ALL: Universal Fuzzing with Large Language Models
    Xia, Chunqiu Steven ; Paltenghi, Matteo ; et al.
    In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE), 2024-04-14, S. 1547-1559
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Using Obfuscators to Test Compilers: A Metamorphic Experience
    Cho, Injae ; Towey, Dave ; et al.
    In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC), 2023-06-01, S. 1786-1791
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Usability-Oriented Design of Liquid Types for Java
    Gamboa, Catarina ; Canelas, Paulo ; et al.
    In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023-05-01, S. 1520-1532
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Implementation of Code Integrity Check Module for RISC-V Architecture with AES
    Tulemez, Safak ; Altilar, Deniz Turgay
    In: 2022 International Conference on Theoretical and Applied Computer Science and Engineering (ICTASCE), 2022-09-29, S. 148-152
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    OpenMP aware MHP Analysis for Improved Static Data-Race Detection
    Bora, U. ; Vaishay, S. ; et al.
    In: 2021 IEEE/ACM 7th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), 2021-11-01, S. 1-11
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems
    Lee, Doowon ; Matthews, Opeoluwa ; et al.
    In: 2018 IEEE 36th International Conference on Computer Design (ICCD), 2018-10-01, S. 17-25
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Representing and Reasoning about Dynamic Code
    Bartels, Jesse ; Stephens, Jon ; et al.
    In: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020-09-01, S. 312-323
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Identifying Degree and Sources of Non-Determinism in MPI Applications Via Graph Kernels
    Chapp, D. ; Tan, N. ; et al.
    In: IEEE Transactions on Parallel and Distributed Systems, Jg. 32 (2021-12-01), Heft 12, S. 2936-2952
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Understanding integer overflow in C/C++
    Dietz, Will ; Li, Peng ; et al.
    In: 2012 34th International Conference on Software Engineering (ICSE), 2012-06-01, S. 760-770
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Metamorphic Testing for (Graphics) Compilers
    Donaldson, Alastair F. ; Lascu, Andrei
    In: 2016 IEEE/ACM 1st International Workshop on Metamorphic Testing (MET), 2016-05-01, S. 44-47
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    The bounded model checker LLBMC
    Falke, Stephan ; Merz, Florian ; et al.
    In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013-11-01, S. 706-709
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Generic invariant-based static analysis tool for detection of runtime errors in Java programs
    Skevoulis, S. ; Jia, Xiaoping
    In: Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000, 2000, S. 36-44
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A PVS Based Framework for Validating Compiler Optimizations
    Kanade, A. ; Sanyal, A. ; et al.
    In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006, S. 108-117
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Eliminating unnecessary array bounds checks in nests of loops
    Psarris, K. ; Klappholz, D.
    In: Proceedings of ICCI'93: 5th International Conference on Computing and Information, 1993, S. 550-554
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach
    Pattabiraman, Karthik ; Kalbarczyk, Zbigniew ; et al.
    In: IEEE Transactions on Dependable and Secure Computing, Jg. 8 (2011), Heft 1, S. 44-57
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Detecting null pointer violations in Java programs
    Jia, Xiaoping ; Sawant, S. ; et al.
    In: Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032), 1999, S. 456-461
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Finite model generation and formal specification development
    Zhang, Jian
    In: Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240), 1997, S. 350-355
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A protocol-centric approach to on-the-fly race detection
    Perkovic, D. ; Keleher, P.J.
    In: IEEE Transactions on Parallel and Distributed Systems, Jg. 11 (2000-10-01), Heft 10, S. 1058-1072
    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 -