Los investigadores desarrollan una técnica para ayudar al malware a evadir la detección.
― 6 minilectura
Ciencia de vanguardia explicada de forma sencilla
Los investigadores desarrollan una técnica para ayudar al malware a evadir la detección.
― 6 minilectura
Nuevos métodos mejoran la eficiencia de la verificación de software usando invariantes auxiliares.
― 8 minilectura
Un marco simplifica las optimizaciones de miradas furtivas para mejorar el rendimiento en aplicaciones de Java.
― 7 minilectura
Un nuevo método para asegurar la fiabilidad y claridad de las expresiones regulares en JavaScript.
― 11 minilectura
Una nueva lógica mejora el estudio de las interacciones de los agentes en sistemas complejos.
― 7 minilectura
Ajuste dinámico de estructuras de datos para un rendimiento eficiente bajo cargas de trabajo variables.
― 10 minilectura
Este artículo investiga cómo los modelos de lenguaje grandes simulan códigos lógicos de manera efectiva.
― 9 minilectura
Un estudio destaca el impacto de la contaminación de datos en las evaluaciones de modelos de código.
― 7 minilectura
Concéntrate en usar investigación sólida para mejorar las prácticas de desarrollo de software.
― 6 minilectura
Una visión general del algoritmo Raft para consenso en sistemas distribuidos.
― 9 minilectura
Un nuevo método para confirmar la integridad de SQL basado en reglas OCL.
― 7 minilectura
CoderUJB evalúa el rendimiento de LLM en tareas de programación en Java del mundo real.
― 8 minilectura
DeepSample ofrece técnicas efectivas para probar Redes Neuronales Profundas de manera eficiente y precisa.
― 7 minilectura
Aprende cómo los LLMs pueden ayudar a que la programación en C sea más segura y eficiente.
― 6 minilectura
Un nuevo método mejora los modelos en el dispositivo para llamar funciones de IA de manera eficiente.
― 11 minilectura
Explorando el papel de la IA generativa en mejorar las prácticas de seguridad del software.
― 7 minilectura
Un nuevo modelo mejora el análisis del código de WebAssembly a través de una comprensión de datos mixta.
― 9 minilectura
Un estudio revela cómo las modificaciones de código influyen en los métricas de calidad del software.
― 12 minilectura
Un enfoque fresco para mejorar el rendimiento del software a través de métodos de ajuste dinámico.
― 6 minilectura
Un nuevo enfoque reduce la complejidad en la verificación de la corrección de las estructuras de datos.
― 4 minilectura
MLRefScanner mejora la detección de refactorización de código en proyectos de machine learning en Python.
― 7 minilectura
Una guía práctica para investigadores que usan métodos mixtos en ingeniería de software.
― 13 minilectura
Un estudio sobre el intercambio, mantenimiento y calidad de los artefactos de investigación en software.
― 6 minilectura
Un nuevo método para evaluar modelos de lenguaje y mejorar su fiabilidad.
― 8 minilectura
Involucrando a los estudiantes en Pruebas de Software con Aprendizaje Basado en Equipos y proyectos de Código Abierto.
― 7 minilectura
LogSD mejora la detección de anomalías en datos de registros al centrarse en eventos poco frecuentes.
― 8 minilectura
Aprende la importancia de validar los rastros de programas distribuidos contra las especificaciones.
― 8 minilectura
Examinando cómo los LLMs pueden ayudar en el proceso de selección en revisiones sistemáticas.
― 7 minilectura
Explorando el papel de las hiperpropiedades en la verificación de sistemas de software complejos.
― 5 minilectura
Una mirada a las complejidades de los sistemas de sistemas en la ingeniería de software moderna.
― 10 minilectura
Explora el papel de los aspectos humanos en la modelación de software y sus implicaciones.
― 9 minilectura
Una mirada a TopKAT y su papel en el análisis de programas de computadora.
― 9 minilectura
Un nuevo enfoque para mejorar la detección de clones de código en proyectos de software.
― 8 minilectura
Una nueva plataforma tiene como objetivo mejorar la prueba de seguridad de vehículos para las tecnologías automotrices modernas.
― 8 minilectura
La gamificación mejora la participación y motivación de los estudiantes en programas de ingeniería de software.
― 8 minilectura
Este estudio investiga la eficiencia de la memoria en modelos de lenguaje grandes mediante descomposición de rango bajo.
― 6 minilectura
Un enfoque novedoso para mejorar la consistencia de gráficos a través de reglas de transformación y condiciones de aplicación.
― 8 minilectura
WeChat mejora la eficiencia en el cálculo de métricas usando tecnología BSI para tomar mejores decisiones.
― 9 minilectura
Explora la naturaleza, tipos y usos en el mundo real de los problemas de satisfacción de restricciones.
― 5 minilectura
Una mirada a cómo diferentes sistemas de monitoreo revisan comportamientos complejos.
― 7 minilectura