Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

168 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform.
    BAUDIN, PATRICK ; BOBOT, FRANÇOIS ; et al.
    In: Communications of the ACM, Jg. 64 (2021-08-01), Heft 8, S. 56-68
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Data Races vs. Data Race Bugs: Telling the Difference with Portend : Architectural support for programming languages and operating systems; ASPLOS XVII
    Kasikci, B. ; Zamfir, C. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 47 (2012), Heft 4, S. 185-198
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Applying Transactional Memory to Concurrency Bugs : Architectural support for programming languages and operating systems; ASPLOS XVII
    Volos, H. ; Tack, A.J. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 47 (2012), Heft 4, S. 211-222
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Underspecified Harnesses and Interleaved Bugs : Principles of programming languages; POPL'12
    Joshi, S. ; Lahiri, S.K. ; et al.
    In: ACM SIGPLAN NOTICES, Jg. 47 (2012), Heft 1, S. 19-30
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    2ndStrike: Toward Manifesting Hidden Concurrency Typestate Bugs : Architectural support for programming languages and operating systems ASPLOS XVI
    Gao, Q. ; Zhang, W. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 39 (2011), Heft 1, S. 239-250
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    ConSeq: Detecting Concurrency Bugs Through Sequential Errors : Architectural support for programming languages and operating systems ASPLOS XVI
    Zhang, W. ; Lim, J. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 39 (2011), Heft 1, S. 251-264
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction : Architectural support for programming languages and operating systems; ASPLOS 15
    Weeratunge, D. ; Zhang, X. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 38 (2010), Heft 1, S. 155-166
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    ConMem: Detecting Severe Concurrency Bugs Through an Effect-Oriented Approach : Architectural support for programming languages and operating systems; ASPLOS 15
    Zhang, W. ; Sun, C. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 38 (2010), Heft 1, S. 179-192
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs : Architectural support for programming languages and operating systems; ASPLOS 15
    Burckhardt, S. ; Kothari, P. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 38 (2010), Heft 1, S. 167-178
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics : Thirteenth international conference on architectural support for programming languages and operating systems
    Lu, S. ; Park, S. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 36 (2008), Heft 1, S. 329-339
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Better Bug Reporting With Better Privacy : Thirteenth international conference on architectural support for programming languages and operating systems
    Castro, M. ; Costa, M. ; et al.
    In: COMPUTER ARCHITECTURE NEWS, Jg. 36 (2008), Heft 1, S. 319-328
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    /* iComment : Bugs or Bad Comments?
    LIN, TAN ; DING, YUAN ; et al.
    In: SOSP'07: Twenty-First ACM Symposium on Operating Systems Principles, October 14-17, 2007, Stevenson, Washington, USA, Jg. 41 (2007), Heft 6, S. 145-158
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    HeapMD : Identifying heap-based bugs using anomaly detection
    CHILIMBI, Trishul M ; GANAPATHY, Vinod
    In: ASPLOS-XII: Twelfth international conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, CA, USA, Jg. 40 (2006), Heft 5, S. 219-228
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs : European software engineering conference
    Livshits, V. B. ; Lam, M. S.
    In: PROCEEDINGS OF THE ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2003, S. 317-326
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Post-Silicon Bug Localization for Processors Using IFRA
    PARK, Sung-Boem ; MITRA, Subhasish
    In: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 106-113
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety.
    Chen, Zhe ; Yan, Rui ; et al.
    In: ACM Transactions on Software Engineering & Methodology, Jg. 33 (2024-05-01), Heft 4, S. 1-47
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Konferenz
  18. Detailansicht für Treffer 18 öffnen
    The debugging scandal.
    Nora, Robin Stephe ; McCormick, John W.
    In: Communications of the ACM, Jg. 40 (1997-08-01), S. 29-31
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    JDF: Detecting Duplicate Bug Reports in Jazz.
    Song, Yoonki ; Wang, Xiaoyin ; et al.
    In: ICSE: International Conference on Software Engineering, 2010-02-01, S. 315-316
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Can More Code Mean Fewer Bugs?
    Neville-Neil, George V.
    In: Communications of the ACM, Jg. 55 (2012-12-01), Heft 12, S. 31-32
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -