Últimos artículos para Desarrollo de software

Un estudio sobre cómo mejorar el mapeo de tareas en CGRAs usando métodos SAT.

Soluciones de conteo eficientes para aplicaciones modernas usando métodos aproximados.

Este artículo explora un método para mejorar la resumición de código utilizando conocimientos sobre la atención humana.

Examinando cómo el comportamiento de los usuarios afecta el rendimiento del sistema de recomendaciones.

Una visión general de la linealizabilidad fuerte y su importancia en la programación concurrente.

Un nuevo método de marca de agua protege los modelos de lenguaje personalizados del uso no autorizado.

Un nuevo método para mejorar modelos de aprendizaje automático afectados por datos deficientes.

Este método utiliza un enfoque bayesiano para hacer predicciones precisas sobre la actividad de los usuarios en pruebas en línea.

Este modelo aborda los desafíos únicos de gestionar cambios en proyectos de software globales.

Nuevos métodos mejoran las predicciones de rendimiento al centrarse en las dependencias de memoria.

Un nuevo enfoque para la finalización de código mejora las sugerencias al considerar repositorios de código enteros.

Explorando las vulnerabilidades en las pruebas de conocimiento cero en criptografía.

Un análisis de los problemas comunes en la gestión de activos de aprendizaje automático y soluciones propuestas.

Explora el enfoque centrado en los datos para mejorar los sistemas de software de IA.

MobiLlama ofrece procesamiento de lenguaje eficiente para dispositivos con recursos limitados.

Aprende cómo MPST mejora los procesos de comunicación en sistemas distribuidos.

Un enfoque nuevo mejora la eficiencia en la resolución SMT para vectores de bits.

Un análisis detallado de las herramientas de simulación cuántica y sus desafíos de rendimiento.

Este estudio examina el aumento de las prácticas de CI/CD entre los desarrolladores desde 2012 hasta 2023.

Un sistema para eliminar reflejos en imágenes y tener fotos más nítidas.

Una herramienta diseñada para mejorar las tareas de ciencia de datos a través de la planificación dinámica y la verificación de errores.

Descubre cómo JCLEC-MO simplifica la optimización multiobjetivo para ingenieros.

Este estudio examina cómo la IA afecta la productividad y la confianza entre los ingenieros de software.

Explora la importancia de los requisitos de rendimiento y las pruebas en proyectos de software.

Una visión general de las revisiones de código modernas y su importancia en la calidad del software.

Este documento examina la verificación de invariantes en sistemas con estados infinitos usando dos algoritmos.

Un nuevo método para crear programas sin recursión a partir de especificaciones funcionales.

Este artículo revisa los esfuerzos recientes para automatizar el razonamiento inductivo en la demostración de teoremas.

FlaKat ofrece una solución de machine learning para identificar y categorizar pruebas inestables.

Una mirada al impacto y la presencia de los arquitectos de software en Brasil.

Un estudio clasifica las capacidades de programación de varios modelos de lenguaje grandes.

Explora conceptos clave de programación para crear aplicaciones sólidas y confiables.

La observabilidad es clave para manejar aplicaciones de microservicios y asegurar su fiabilidad.

DyPyBench ofrece un conjunto diverso de proyectos para análisis dinámico en Python.

Estrategias para una mejor asignación de recursos en plataformas sin servidor.

Hércules optimiza la asignación de recursos de red para diferentes necesidades de aplicaciones.

Una mirada a comparar modelos probabilísticos no deterministas y su importancia.

Una visión general de los contratos inteligentes actualizables y sus desafíos de seguridad.

Un nuevo método simplifica la poda de redes neuronales para mejorar el rendimiento.

Este estudio investiga qué tan bien pueden los LLMs generar decisiones arquitectónicas.