Suchergebnisse - "Engineering Computer programs."

Treffer weiter einschränken
  1. Buchumschlag

    Auto-Active Relational Verification and Alignment Completeness von Nagasamudram, Ramana

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  2. Buchumschlag

    Towards Practical and Automated Type-Based Program Analysis in Java von Karimipour, Nima

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  3. Buchumschlag

    Neuro-Symbolic Program Generation and Execution for Hybrid Reasoning von Hu, Yaojie

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  4. Buchumschlag

    Crossing Software Abstraction Boundaries to Facilitate Software Engineering von Reiter, Pemma

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  5. Buchumschlag

    Assisting Cloud System Development With Automated Insight Generation von Qiu, Yiming

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  6. Buchumschlag

    Proceedings of the International Association for Development of the Information Society (IADIS) International Conferences on Mobile Learning (ML 2025, 21st) and Educational Technol... von Inmaculada Arnedillo Sánchez, Editor

    Veröffentlicht 2025
    Citation/Abstract
    Full text outside of ProQuest
    Zu den Favoriten
    Gespeichert in:
  7. Buchumschlag

    Reconciling Performance and Security in Modern Computer Architecture von Pal, Asmita

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  8. Buchumschlag

    Evaluating and Improving Fuzzer Mutation Strategies von Kukucka, James Matthew

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  9. Buchumschlag

    Neural Modeling of Reasoning About Program Behaviors von Yadavally, Aashish

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  10. Buchumschlag

    Optimizing Web Applications Using Declarative Software Rewriting von Gokhale, Satyajit

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  11. Buchumschlag

    Program Synthesis for Performance Optimizations von Liu, Zhengyang

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  12. Buchumschlag

    Biological Properties of Software Insights for Measuring and Manipulating Programs von Renzullo, Joseph

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  13. Buchumschlag

    Advancing Code Intelligence With Language Models von Ding, Yangruibo

    Veröffentlicht in ProQuest Dissertations and Theses (2026)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  14. Buchumschlag

    Becoming a Computer Scientist: Multimethods to Make Sense of Professional Computer Scientist Identity Development von Ransom, Tim

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  15. Buchumschlag

    Developing a Pilot Bridge Management System for the NMSU Bridge Inspection Program Using Time and Cost Planning Strategies Supported by Metaheuristic Optimization Engines von Montero, Valeria Navarro

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  16. Buchumschlag

    Learning-Directed Systems with Safety and Robustness Certificates von Yang, Chenxi

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  17. Buchumschlag

    Data-Aware Complexity Analysis and Program Optimization von Deeds, Kyle

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  18. Buchumschlag

    Code Generation With Large Language Models: Inductive Reasoning and Calibration von Li, Wen-Ding

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  19. Buchumschlag

    Performance Analysis of Compounding Memory Safety Modifications for the C Language von Laramore, Andrew

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:
  20. Buchumschlag

    Addressing Data Leakage and Imbalance for Robust Fine-Tuning of Pre-Trained Code Language Models in Program Repair and Vulnerability Detection von Yadav, Anurag Swarnim

    Veröffentlicht in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: