Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

19 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The investigation of human attention networks on debugging performance
    Akçay, Arif ; Altun, Arif
    In: Education and Information Technologies: The Official Journal of the IFIP Technical Committee on Education, Jg. 29 (2024-02-01), Heft 3, S. 2679-2695
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study
    di Angelo, Monika ; Durieux, Thomas ; et al.
    In: Empirical Software Engineering: An International Journal, Jg. 29 (2024-03-01), Heft 2
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns
    Yu, Misun ; Lee, Joon-Sang ; et al.
    In: International Journal of Parallel Programming, Jg. 47 (2019-12-01), Heft 5-6, S. 805-837
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Effective spectrum-based technique for software fault finding
    Ghosh, Debolina ; Singh, Jagannath
    In: International Journal of Information Technology: An Official Journal of Bharati Vidyapeeth's Institute of Computer Applications and Management, Jg. 12 (2020-09-01), Heft 3, S. 677-682
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    FixMiner: Mining relevant fix patterns for automated program repair
    Koyuncu, Anil ; Liu, Kui ; et al.
    In: Empirical Software Engineering: An International Journal, Jg. 25 (2020-05-01), Heft 3, S. 1980-2024
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Inforence: effective fault localization based on information-theoretic analysis and statistical causal inference
    Feyzi, Farid ; Parsa, Saeed
    In: Frontiers of Computer Science, Jg. 13 (2019-08-01), Heft 4, S. 735-759
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
    Jannesari, Ali ; Wolf, Felix
    In: International Journal of Parallel Programming, Jg. 44 (2016-06-01), Heft 3, S. 644-662
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A formal semantics for debugging synchronous message passing-based concurrent programs
    Li, He ; Luo, Jie ; et al.
    In: Science China Information Sciences, Jg. 57 (2014-12-01), Heft 12, S. 1-18
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A comprehensive study of code-removal patches in automated program repair
    Ginelli, Davide ; Martinez, Matias ; et al.
    In: Empirical Software Engineering: An International Journal, Jg. 27 (2022-07-01), Heft 4
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A formal semantics for program debugging
    Li, Wei ; Li, Ning
    In: Science China Information Sciences, Jg. 55 (2012), Heft 1, S. 133-148
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    ELS: Emulation system for debugging and tuning large-scale parallel programs on small clusters
    Lin, Fang ; Liu, Yi ; et al.
    In: The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use, Jg. 77 (2021-02-01), Heft 2, S. 1635-1666
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Optimal tracing and replay for debugging message-passing parallel programs
    Netzer, Robert H. B. ; Miller, Barton P.
    In: The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use, Jg. 8 (1995-12-01), Heft 4, S. 371-388
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Adding data provenance support to Apache Spark
    Interlandi, Matteo ; Ekmekji, Ari ; et al.
    In: The VLDB Journal: The International Journal on Very Large Data Bases, Jg. 27 (2018-10-01), Heft 5, S. 595-615
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Debugging Concurrent Software: Advances and Challenges
    Huang, Jeff ; Zhang, Charles
    In: Journal of Computer Science and Technology, Jg. 31 (2016-09-01), Heft 5, S. 861-868
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    User-Guided Dynamic Data Race Detection
    Metzger, Markus ; Tian, Xinmin ; et al.
    In: International Journal of Parallel Programming, Jg. 43 (2015-04-01), Heft 2, S. 159-179
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Dynamic slicing of lazy functional programs based on redex trails
    Ochoa, Claudio ; Silva, Josep ; et al.
    In: Higher-Order and Symbolic Computation, Jg. 21 (2008-06-01), Heft 1-2, S. 147-192
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Incremental Design Debugging in a Logic Synthesis Environment
    Veneris, Andreas ; Liu, Jiang Brandon
    In: Journal of Electronic Testing: Theory and Applications, Jg. 21 (2005-10-01), Heft 5, S. 485-494
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Finding missing synchronization in a distributed computation using controlled re-execution
    Mittal, Neeraj ; Garg, Vijay K.
    In: Distributed Computing, Jg. 17 (2004-08-01), Heft 2, S. 107-130
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Kima: An Automated Error Correction System for Concurrent Logic Programs
    Ajiro, Yasuhiro ; Ueda, Kazunori
    In: Automated Software Engineering: An International Journal, Jg. 9 (2002), Heft 1, S. 67-94
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -