Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

37 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Detecting bugs in register allocation
    Huang, Yuqiang ; Childers, Bruce R. ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 32 (2010-07-01), Heft 4, S. 15-49
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Rx: treating bugs as allergies--a safe method to survive software failures
    Qin, Feng ; Tucek, Joseph ; et al.
    In: ACM Transactions on Computer Systems, Jg. 25 (2007-08-01), Heft 3, S. S1- (33S.)
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Finding usability bugs with automated tests
    Harty, Julian
    In: Communications of the ACM, Jg. 54 (2011-02-01), Heft 2, S. 44-49
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Post-silicon bug localization for processors using IFRA
    Park, Sung-Boem ; Mitra, Subhasish
    In: Communications of the ACM, Jg. 53 (2010-02-01), Heft 2, S. 106-113
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A few billion lines of code later: using static analysis to find bugs in the real world
    Bessey, Al ; Block, Ken ; et al.
    In: Communications of the ACM, Jg. 53 (2010-02-01), Heft 2, S. 66-75
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    My hairiest bug war stories
    Eisenstadt, Marc
    In: Communications of the ACM, Jg. 40 (1997-04-01), Heft 4, S. 30-37
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Who is liable for bugs and security flaws in software?
    Cusumano, Michael A.
    In: Communications of the ACM, Jg. 47 (2004-03-01), Heft 3, S. 25-27
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 öffnen
    Bugs in the program
    Chapman, Gary
    In: Communications of the ACM, Jg. 33 (1990-03-01), Heft 3, S. 251-252
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Automatic exploit generation
    Avgerinos, Thanassis ; Cha, Sang Kil ; et al.
    In: Communications of the ACM, Jg. 57 (2014-02-01), Heft 2, S. 74-83
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    WYSINWYX: what you see is not what you execute
    Balakrishnan, Gogul ; Reps, Thomas
    In: ACM Transactions on Programming Languages & Systems, Jg. 32 (2010-11-01), Heft 6, S. 23-106
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Predicting and preventing inconsistencies in deployed distributed systems
    Yabandeh, Maysam ; Knezevic, Nikola ; et al.
    In: ACM Transactions on Computer Systems, Jg. 28 (2010-02-01), Heft 1, S. 2-50
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Fast online pointer analysis
    Hirzel, Martin ; Von Dincklage, Daniel ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 29 (2007-03-01), Heft 2, S. SSSS1- (55S.)
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Aeminium: a permission-based concurrent-by-default programming language approach
    Stork, Sven ; Naden, Karl ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 36 (2014-03-22), Heft 1, S. 2-43
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A declarative language approach to device configuration
    Schupbach, Adrian ; Baumann, Andrew ; et al.
    In: ACM Transactions on Computer Systems, Jg. 30 (2012-02-01), Heft 1, S. 5-39
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Efficient testing of recovery code using fault injection
    Marinescu, Paul D. ; Candea, George
    In: ACM Transactions on Computer Systems, Jg. 29 (2011-11-01), Heft 4, S. 11-48
    Online academicJournal
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Verifying safety properties of concurrent heap-manipulating programs
    Yahav, Eran ; Sagiv, Mooly
    In: ACM Transactions on Programming Languages & Systems, Jg. 32 (2010-09-01), Heft 5, S. 18-67
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Algorithm 893: TSPACK: tension spline package for curve design and data fitting
    Renka, Robert J.
    In: ACM Transactions on Mathematical Software, Jg. 36 (2010-03-22), Heft 1, S. 7-14
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Checking type safety of foreign function calls
    Furr, Michael ; Foster, Jeffrey S.
    In: ACM Transactions on Programming Languages & Systems, Jg. 30 (2008-07-01), Heft 4, S. 18-80
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Using model checking to find serious file system errors
    Yang, Junfeng ; Twohey, Paul ; et al.
    In: ACM Transactions on Computer Systems, Jg. 24 (2006-11-01), Heft 4, S. 393-423
    Online academicJournal
    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 -