Artigos mais recentes para Engenharia de Software

Um olhar sobre os métodos de análise de WebAssembly para execução segura.

O CodeCSE melhora a conexão entre código e comentários usando aprendizado contrastivo para engenharia de software.

Explorando métodos pra criar controladores confiáveis em vários ambientes.

Combinar Classes Estocásticas de Estado e simulação oferece uma análise melhor de sistemas complexos.

Um novo framework melhora a confiabilidade da comunicação em protocolos de troca de mensagens entre várias partes.

Explorando conexões entre programas lógicos e redes booleanas pra melhorar a compreensão de modelos estáveis.

Explorando como as recomendações de tarefas de CSE ajudam os profissionais de software a encontrarem tarefas adequadas.

Estudo cria modelos pra prever bugs de software em tempo real em sistemas complexos.

Um jeito de garantir a correção do software por meio de análise estruturada.

Um novo método pra aumentar a segurança em sistemas críticos usando modelos de linguagem.

Aprenda como métodos formais melhoram o design de software para configurações complexas.

Uma visão geral dos principais problemas na criação de hardware de computação especializado.

Este estudo analisa como o snowballing melhora a qualidade da pesquisa em plataformas de perguntas e respostas.

A IA generativa facilita revisões sistemáticas na pesquisa em engenharia de software.

Um novo framework avalia a dificuldade em tarefas de codificação para grandes modelos de linguagem.

Um programa pra ensinar verificação de modelos pra desenvolver software confiável.

Um novo framework resolve o problema de cold starts em computação serverless através de pools quentes compartilhados.

O tipping melhora a eficiência e a precisão da análise de logs pra uma análise de software melhor.

Novos métodos buscam rodar modelos poderosos de forma eficiente em hardware limitado.

Aprenda como a pesquisa-ação liga descobertas acadêmicas a práticas reais de software.

Analisar falhas de software ajuda a melhorar as práticas em várias indústrias.

Um novo framework simplifica os processos de compilador para aceleradores de tensor usando LLMs.

Deeploy facilita a implementação de pequenos modelos de linguagem em microcontroladores, tornando a IA mais acessível.

Um novo framework melhora o agendamento de tarefas e o tempo em executores ROS 2 multi-threaded.

Um framework orienta a escolha de modelos pré-treinados eficazes para detecção de vulnerabilidades.

Uma visão geral dos sistemas parametrizados e seus desafios de verificação.

Uma revisão das melhorias recentes em ferramentas de contagem de modelos e suas aplicações práticas.

Uma visão geral das questões em designs cruzados e análise de dados em estudos de engenharia de software.

Este estudo compara modelos dependentes do tempo e técnicas de ML para prever a Dívida Técnica de Código.

Aprenda como vetores de bits melhoram a eficiência da fundamentação na resolução de problemas.

Uma olhada nos riscos e melhores práticas para usar std::string_view.

Pesquisa sobre a fusão de adaptadores específicos de tarefas para melhorar a eficiência da reparação automática de programas.

Tywaves melhora a clareza e a estrutura na depuração de designs de hardware Chisel.

A validação precoce evita erros caros em sistemas como dispositivos de saúde.

Estudo mostra como os hiperparâmetros afetam a qualidade do código gerado por LLM.

Este artigo fala sobre um sistema que gerencia a comunicação entre processos usando sandboxes.

Esse estudo analisa plugins, como eles são implementados e as preocupações de segurança no ecossistema de aplicativos.

Aprenda como a engenharia de abstração molda sistemas de software adaptáveis para os desafios modernos.

Um novo design de OS dividido melhora o desempenho de aplicativos em nuvem e a gestão de recursos.

Um novo método ajuda a identificar problemas de desempenho em sistemas de software complexos.