Últimos artículos para Desarrollo de software

Un nuevo marco para detectar y reparar vulnerabilidades en contratos inteligentes.

Este estudio investiga qué tan bien los modelos de código comprenden los nombres y el uso de las API.

Un enfoque nuevo para comprobar la corrección de programas que usan aleatoriedad.

Un nuevo método combina TEEs y circuitos enmascarados para mejorar el rendimiento en tareas en la nube.

Aprende cómo los LLMs simplifican la creación y evaluación de código Verilog.

ForSys ofrece análisis no invasivos de propiedades mecánicas en tejidos biológicos.

Un nuevo enfoque utiliza Aprendizaje por Refuerzo para enfrentar los desafíos de arranque en frío en la computación sin servidor.

Una teoría de tipos de dos niveles conecta las pruebas lógicas y la programación práctica.

CartoonDiff hace que cartoonizar imágenes sea fácil sin necesidad de modelos complejos o entrenamiento.

Descubre cómo ChatGPT puede facilitar el proceso de revisión de código en el desarrollo de software.

Explorando la lógica de separación dinámica para mejorar la gestión de memoria en programación.

COSI va explorar rayos gamma no investigados para revelar fenómenos cósmicos.

Este artículo habla sobre nuevos métodos para verificar la seguridad de los datos en sistemas concurrentes.

Un nuevo compilador mejora las capacidades de CGRA para diversas aplicaciones de software.

Btor2MLIR ofrece una herramienta flexible para la verificación eficiente de hardware.

Descubre cómo nf-test mejora las pruebas para pipelines computacionales en bioinformática.

QTOS simplifica la planificación de movimiento para robots cuadrúpedos, mejorando su rendimiento.

Los auxilios de saturación de gimnasio ayudan a los proveedores en la demostración automática de teoremas utilizando aprendizaje por refuerzo.

Usando modelos de lenguaje grandes para simplificar los procesos de verificación del diseño de hardware.

Este estudio revisa la efectividad de las herramientas de software para la anotación del genoma.

Un enfoque novedoso para solucionar errores de software utilizando modelos de lenguaje para la selección de código donante.

Presentamos un marco para una mejor aislamiento de aplicaciones y compartir recursos.

Nuevos métodos mejoran la comunicación en sistemas multiagente a través de coreografías y posets.

Una mirada a cómo la memoización estocástica mejora la programación probabilística.

El método EditAS mejora la generación de aserciones para obtener mejores resultados en las pruebas unitarias.

Explora cómo la Integración Continua mejora la calidad del software y la colaboración del equipo.

Data Formulator facilita la creación de visualizaciones al automatizar la transformación de datos.

Nuevas herramientas están mejorando el análisis de grandes grafos de propiedades.

EGFE mejora el proceso de organizar elementos de diseño de UI para una mejor calidad de código.

Una mirada a las características, desafíos y potencial del continuo de computación para los usuarios.

Este artículo habla sobre cómo los LLMs mejoran el desarrollo de chatbots y la interacción con los usuarios.

Un enfoque centrado para identificar rápidamente errores de software a través de pruebas específicas.

Un nuevo método de codificación mejora el diseño de maquetas para apps y documentos.

El software Redback ayuda a los astrónomos a analizar eventos cósmicos transitorios.

Una nueva biblioteca para crear y gestionar conjuntos de datos de laberintos en aprendizaje automático.

RUEL mejora las sugerencias de artículos utilizando los registros del navegador Edge y técnicas avanzadas.

Examinando cómo los requisitos de alta calidad influyen en el éxito de proyectos de software.

Un nuevo enfoque mejora el entrenamiento de modelos sustitutos en el desarrollo de software.

Examinando la conexión entre las prácticas de arquitectura de software y los esfuerzos de sostenibilidad.

Usar GPUs para acelerar simulaciones de reservorios puede mejorar la eficiencia y reducir los tiempos de cálculo.