Últimos artículos para Desarrollo de software

CoderUJB evalúa el rendimiento de LLM en tareas de programación en Java del mundo real.

La programación en ensamblador se enfrenta a la competencia mientras los sobrevivientes luchan en CodeGuru Xtreme.

Un nuevo estándar evalúa el rendimiento de los modelos de lenguaje en la comprensión de transcripciones de reuniones.

Descubre la importancia de la programación sensible a costos para optimizar la gestión de recursos.

Un estudio revela vulnerabilidades en software de gestión de contraseñas populares.

Un estudio sobre cómo los Modelos de Lenguaje Grande pueden mejorar la detección de vulnerabilidades en el software.

Este artículo habla sobre la necesidad de mejores referencias en la investigación de procesamiento de grafos.

FT2Ra mejora la eficiencia de la autocompletación de código a través de métodos de recuperación sin necesidad de reentrenar todo el modelo.

Un método para verificar automáticamente las estructuras de datos contra invariantes de representación usando técnicas avanzadas.

Aprende cómo los LLMs pueden ayudar a que la programación en C sea más segura y eficiente.

La prohibición de ChatGPT en Italia afectó la productividad de los desarrolladores de software de maneras inesperadas.

Un estudio sobre el uso de código inseguro por parte de los desarrolladores en Rust.

Un nuevo marco busca mejorar la interoperabilidad y la eficiencia de DSL en HPC.

Aprende a integrar sistemas de XAI en Jupyter para mejorar la comprensión de la IA.

Este documento habla sobre cómo mejorar el comportamiento del software a través de requisitos de vivacidad.

El ataque de crescendo usa conversaciones amistosas para manipular modelos de IA y que den resultados dañinos.

Un sistema que optimiza cálculos para matrices dispersas usando almacenamiento en bloques.

Te presento WebSPL, un método estructurado para crear aplicaciones web de manera eficiente.

Revoluciona la forma en que visualizamos y analizamos datos categóricos a través de patrones de similitud.

Examinando las implicaciones de seguridad del código generado por IA usando APIs de seguridad.

El conjunto de datos ROBUST ayuda a los investigadores a resolver problemas de software en robótica.

Una propuesta para una arquitectura de referencia en ingeniería del conocimiento para mejorar la eficiencia del sistema.

Un nuevo método mejora la confianza en la verificación automatizada de programas.

Un nuevo método automatiza el análisis de las salidas de programas probabilísticos.

Explora cómo las herramientas automatizadas ayudan a los estudiantes a escribir consultas SQL de manera efectiva.

Una herramienta automatizada audita contratos inteligentes para asegurar que cumplen con ERC, mejorando la seguridad.

Un nuevo enfoque para simplificar cálculos efectivos en lenguajes de programación.

Un enfoque fresco para mejorar el rendimiento del software a través de métodos de ajuste dinámico.

Este papel presenta un método eficiente de comparación de árboles usando resolución SAT.

Una nueva solución de filtro para manejar datos de manera eficiente y escalar.

Un nuevo método para acelerar la reparación de modelos de Stateflow y reducir costos.

Smart HPA mejora la eficiencia de escalado de microservicios en entornos con recursos limitados.

Un nuevo método, DepGraph, mejora la precisión en la detección de bugs de software.

NetKAT simplifica la creación y verificación de reglas de red para una gestión eficiente.

Un análisis de cómo los desarrolladores implementan soluciones arquitectónicas en proyectos de código abierto.

Un método de aprendizaje profundo mejora la detección de vulnerabilidades de software en código no visto.

Este artículo presenta un marco para analizar la terminación de programas con mayor eficiencia.

Una mirada profunda a dos herramientas de edición para el desarrollo de software.

Una mirada a la extracción de menciones de software en textos académicos.

La industria automotriz adopta soluciones definidas por software para mejorar las funciones del vehículo.