Últimos artículos para Desarrollo de software

MathDSL simplifica la resolución de problemas matemáticos para las computadoras y mejora las herramientas educativas.

Examinando cómo ChatGPT cambia las respuestas a preguntas de programación en comparación con expertos humanos.

Las herramientas de IA como GitHub Copilot aumentan la productividad y la satisfacción de los desarrolladores.

AXIS simplifica la interacción con el software a través de comandos basados en API para mejorar la eficiencia y la confiabilidad.

Nuevos métodos mejoran las predicciones de selectividad de consultas usando técnicas de aprendizaje automático.

CodeInsight ofrece un conjunto de datos mejorado para generar código Python con ejemplos reales.

miniLB ofrece una forma más fácil de evaluar simulaciones de LBM en diferentes sistemas de hardware.

Un nuevo marco simplifica la creación de xApps en Redes de Acceso Radio Abierto.

Un enfoque liviano mejora la detección de arreglos silenciosos de vulnerabilidades en software de código abierto.

Mejorando la capacidad de los LLMs para reparar vulnerabilidades de desbordamiento de búfer con técnicas conscientes del contexto.

Nuevos métodos se centran en analizar el código fuente para mejorar la predicción de defectos.

Un nuevo método mejora la creación automática de versiones de piano usando la tecnología de transcripción musical existente.

Mejorando herramientas para verificar si los bucles en los programas van a terminar de ejecutarse.

Analizando cómo los sentimientos de los desarrolladores afectan la calidad del código de machine learning.

Este artículo investiga por qué las empresas donan software de IA a comunidades de código abierto.

A medida que la tecnología avanza, la seguridad del software enfrenta nuevos retos y oportunidades.

LM-GC ofrece una nueva forma de comprimir gradientes en el aprendizaje automático.

MoJE mejora las medidas de seguridad para LLMs, enfrentando ataques de jailbreak de manera efectiva.

Un nuevo método genera simulaciones completas en código a partir de entradas en lenguaje natural.

Este artículo evalúa qué tan bien los LLMs generan casos de prueba para programas en Java.

Investigando las preocupaciones de calidad y seguridad del código generado por IA.

Aprende cómo los Polinomios de Zernike mejoran la óptica y la astrofísica.

Este estudio aborda el desperdicio en el desarrollo de software y ofrece estrategias de medición.

RepairBench establece puntos de referencia para comparar modelos de IA en la reparación de errores de software.

Un nuevo método predice riesgos de memorización en Modelos de Lenguaje Grande para mejorar la privacidad.

Aprende cómo el desarrollo moldeable transforma la comprensión del software con herramientas personalizadas.

DAOS ofrece una gestión de datos eficiente para entornos de computación de alto rendimiento.

La semántica de equipos mejora la verificación de propiedades complejas en sistemas de software.

Un marco que usa MLP y SVM identifica malware en Android de manera efectiva.

Un nuevo sistema mejora la precisión y eficiencia de la traducción de código usando agentes especializados.

CRScore ofrece un método de evaluación innovador para valorar los comentarios de revisión de código sin referencias humanas.

Este estudio explora métodos efectivos para generar datos sintéticos para el entrenamiento de modelos de lenguaje.

Este documento examina la relación entre la lógica intuicionista mínima y la evaluación por valor en programación.

Un nuevo enfoque mejora la detección de malware mientras resiste ataques adversariales.

Un nuevo enfoque para mejorar la detección de anomalías basada en logs usando modelos transformer.

Presentamos un lenguaje de programación enfocado en el rendimiento confiable de aplicaciones y la gestión de memoria.

Este artículo habla sobre lo comprensible que es el código Java decompilado y su importancia.

Un nuevo marco simplifica la programación de FPGA, haciéndola más accesible para los desarrolladores.

Un método para analizar el comportamiento excepcional en programas Java usando bytecode.

Explora cómo los tiempos muertos afectan las interacciones del sistema en la bisimilitud ramificada.