Últimos artículos para Desarrollo de software

EasyLAN simplifica el desarrollo de redes LLM colaborativas para tareas complejas.

El razonamiento contrafactual mejora la comprensión de las vulnerabilidades en el código.

Un nuevo método para hacer marcas de agua efectivas en código generado por IA.

Un nuevo método de código abierto acelera las tareas de enrutamiento para FPGAs modernas.

Este estudio explora el impacto de los clones de código en los marcos de aprendizaje profundo y la calidad del software.

Examinando los desafíos que enfrentan los profesionales ciegos y de baja visión en el avance de su carrera.

Explorando métodos para evaluar la fiabilidad del programa en chips pequeños y rápidos.

Explora transformaciones para mejorar la calidad de los tests de lenguaje natural.

Un nuevo método busca automatizar las pruebas en entornos de compilador que están cambiando.

Este artículo habla sobre un método para manejar términos tipados en programación.

Un nuevo sistema mejora la programación de funciones y la gestión de recursos en la computación sin servidor.

Analizando el comportamiento y la terminación de bucles de restricciones lineales en programación.

Un nuevo sistema optimiza las tareas de diseño 3D en Blender con modelos de IA avanzados.

Simplificando el análisis de grandes conjuntos de datos en proteómica e interáctomica con ThunderBolt.

Un nuevo marco mejora los métodos de verificación de compiladores para una mejor precisión.

Un marco unificado para mejorar los procesos de depuración de software.

ALock simplifica la sincronización en RDMA, mejorando el rendimiento y reduciendo la latencia.

Una visión general de los métodos de prueba para bibliotecas de aprendizaje profundo y su importancia.

Un estudio revela vulnerabilidades en el código producido por modelos de lenguaje grandes.

Descubre cómo la verificación de modelos HyperLTL mejora la seguridad de los sistemas de software.

Tenspiler simplifica la adaptación de código, permitiendo a los desarrolladores mantenerse al día con los cambios tecnológicos.

Aprende cómo la lógica dinámica ayuda a verificar el comportamiento del programa de manera efectiva.

Un nuevo sistema de tipos mejora la generación de C++ a partir de especificaciones de Isabelle/HOL, aumentando la precisión.

Un estudio sobre la efectividad de las herramientas SAST para contratos inteligentes.

Converter simplifica el despliegue de aplicaciones en entornos de nube y de borde.

Un nuevo marco para evaluar el rendimiento de los sistemas RAG.

La inteligencia de carga de trabajo cierra la brecha entre las plataformas en la nube y las cargas de trabajo, mejorando el rendimiento.

Un nuevo método detecta carreras de datos con mejor precisión y bajo costo.

Esta herramienta mejora la conversión de código a Rust, centrándose en la seguridad y la legibilidad.

Este artículo habla sobre los avances de PyLaia en el reconocimiento de texto usando modelos de lenguaje.

Una mirada a las amenazas de seguridad que presentan los LLMs de código ajustados por instrucciones.

Ethraid ayuda a los investigadores a estudiar compañeros de estrellas distantes con datos limitados.

SUGAR simplifica el álgebra geométrica para ingenieros y matemáticos usando Matlab.

Nuevos componentes mejoran la eficiencia de memoria y la velocidad de procesamiento en la generación 3D.

Aprende a determinar cuándo los programas que usan aleatoriedad dejarán de ejecutarse.

Un vistazo a cómo comparamos y analizamos los comportamientos del sistema usando varias técnicas.

Este artículo explora el sesgo en los modelos de generación de código en diferentes lenguajes.

Evaluando la fiabilidad de los resúmenes producidos por IA para mejorar el mantenimiento del software.

Una visión general de las alucinaciones de código en los LLMs y su impacto en el desarrollo de software.

N nuevas métricas buscan mejorar la seguridad y la corrección del código con LLMs.