Últimos artículos para Desarrollo de software

Explora estrategias para asegurar la calidad del software en entornos de desarrollo colaborativo abiertos.

Nuevas técnicas mejoran el rendimiento de las consultas de gráficos de navegación, acelerando las evaluaciones.

Un nuevo método mejora la detección de vulnerabilidades microarquitectónicas en sistemas informáticos.

Un estudio que evalúa el rendimiento y la precisión del formato posit frente al IEEE 754.

Una visión general de las pruebas metamórficas y su papel en la calidad del software.

GSDO optimiza problemas complejos sin necesitar derivados.

Descubre cómo Qiskit ayuda en la investigación y aplicaciones de la computación cuántica.

M2CVD mejora la detección de vulnerabilidades de software a través de enfoques de modelo colaborativo.

Un enfoque novedoso mejora la detección de vulnerabilidades de seguridad en software usando modelos avanzados.

Aprende cómo la depuración reversible mejora el seguimiento de errores en la programación de Erlang.

Un nuevo estándar para evaluar LLMs para tareas de programación en Java.

Un nuevo método mejora los modelos de lenguaje de código a través de casos de prueba efectivos y aprendizaje de preferencias.

Este documento presenta un método para asegurar la calidad en el código generado por LLM.

Este artículo explora un nuevo método para mejorar la eficiencia de la obtención de instrucciones.

Los avances en la computación cuántica exigen pruebas y depuración efectivas para tener software confiable.

Los números Takum ofrecen una mejor opción para la aritmética computacional, equilibrando la eficiencia de números pequeños y grandes.

Un método rápido para edición visual personalizada usando técnicas de autoatención.

MARVeLus verifica e implementa puentes para sistemas ciberfísicos más seguros.

LogBatcher simplifica el análisis de logs usando modelos de lenguaje grandes sin necesidad de entrenamiento previo.

Una nueva herramienta mejora la gestión de software en tiempo real para respuestas inmediatas.

Aprende cómo la modelación ecológica ayuda a enfrentar desafíos ambientales.

Este artículo habla sobre los riesgos de las alucinaciones de paquetes en modelos que generan código.

Un nuevo algoritmo mejora la eficiencia de las consultas de unión en las bases de datos.

Un nuevo método mejora los LLMs para generar código de UI de alta calidad.

Usando modelos de lenguaje para mejorar la detección de errores de software y la eficiencia en las pruebas.

Un nuevo método mejora la precisión al convertir declaraciones informales a lenguajes formales.

Un nuevo marco mejora la autocompletación de código al capturar conocimiento específico del repositorio.

Una nueva arquitectura mejora la gestión de recursos en los sistemas de recomendación.

Un nuevo paquete de R para regresión semiparamétrica funcional y análisis de datos.

Una mirada a las vulnerabilidades y soluciones para sistemas de aprendizaje profundo.

Combinando fuzzing y modelos de lenguaje para mejorar la eficiencia en las pruebas de software.

DafnyBench mide herramientas de verificación de software, abriendo el camino para una programación confiable.

Una nueva herramienta mejora el análisis estático con gráficos simplificados y aprendizaje automático.

Un nuevo enfoque mejora la fiabilidad de las pruebas para bibliotecas de aprendizaje profundo.

Nuevo software mejora el seguimiento y análisis de los comportamientos y la actividad de C. elegans.

AlabOS agiliza los flujos de trabajo para laboratorios automatizados, mejorando la eficiencia en la investigación de materiales.

Un enfoque de dos idiomas mejora la precisión mientras mantiene la velocidad en la programación.

Los grandes modelos de lenguaje mejoran las pruebas diferenciales en el desarrollo de software.

Explora cómo la IA está transformando las prácticas y roles en la ingeniería de software.

CamTrol permite controlar fácilmente el movimiento de la cámara en los videos generados sin necesidad de un entrenamiento extenso.