Resultados de búsqueda - "Engineering Computer programs"

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full text outside of ProQuest

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

Citation/Abstract
Full Text - PDF

Evaluating and Improving Fuzzer Mutation Strategies por Kukucka, James Matthew

Citation/Abstract
Full Text - PDF

Neural Modeling of Reasoning About Program Behaviors por Yadavally, Aashish

Citation/Abstract
Full Text - PDF

Optimizing Web Applications Using Declarative Software Rewriting por Gokhale, Satyajit

Citation/Abstract
Full Text - PDF

Program Synthesis for Performance Optimizations por Liu, Zhengyang

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Advancing Code Intelligence With Language Models por Ding, Yangruibo

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF