Artigos mais recentes para Desenvolvimento de Software

Este estudo analisa como métodos bayesianos podem melhorar os sistemas de detecção de malware.

Uma visão geral dos protocolos de comunicação em sistemas distribuídos focando em Protocolos de Broadcast Não-Bloqueantes que Só Esperam.

Um novo método melhora a compilação de programas, gerando arquivos menores usando dados passados.

O CoderUJB avalia o desempenho de LLM em tarefas de programação Java do mundo real.

A programação em assembly se encontra com a competição enquanto os sobreviventes batalham no CodeGuru Xtreme.

Novo parâmetro avalia o desempenho de modelos de linguagem em entender transcrições de reuniões.

Descubra a importância da programação sensível a custos na otimização da gestão de recursos.

Um estudo revela vulnerabilidades em softwares populares de gerenciamento de senhas.

Um estudo sobre como Modelos de Linguagem Grande podem melhorar a detecção de vulnerabilidades em software.

Esse artigo fala sobre a necessidade de ter melhores referências na pesquisa de processamento de grafos.

FT2Ra melhora a eficiência da conclusão de código através de métodos de recuperação sem precisar re-treinar o modelo todo.

Um método pra verificar automaticamente estruturas de dados em relação a invariantes de representação usando técnicas avançadas.

Aprenda como LLMs podem ajudar a deixar a programação em C mais segura e eficiente.

A proibição do ChatGPT na Itália afetou a produtividade dos desenvolvedores de software de maneiras inesperadas.

Um estudo sobre o uso de código inseguro por desenvolvedores em Rust.

Uma nova estrutura tem como objetivo melhorar a interoperabilidade e a eficiência de DSL em HPC.

Aprenda como integrar sistemas de XAI no Jupyter pra melhorar a compreensão de IA.

Este artigo fala sobre como melhorar o comportamento de software através de requisitos de liveness.

Crescendo attack usa conversa amigável pra manipular modelos de IA e gerar resultados prejudiciais.

Um sistema que otimiza cálculos para matrizes esparsas usando armazenamento em blocos.

Apresentando o WebSPL, um método estruturado pra criar aplicações web de forma eficiente.

Revolucione como a gente vê e analisa dados categóricos através de padrões de semelhança.

Olhando as implicações de segurança do código gerado por IA usando APIs de segurança.

O dataset ROBUST ajuda os pesquisadores a resolverem problemas de software em robótica.

Uma proposta de arquitetura de referência em engenharia do conhecimento pra melhorar a eficiência dos sistemas.

Um novo método melhora a confiança na verificação automática de programas.

Um novo método automatiza a análise de saídas de programas probabilísticos.

Explore como ferramentas automatizadas ajudam os estudantes a escrever consultas SQL de forma eficaz.

Ferramenta automatizada verifica contratos inteligentes pra garantir que tão em conformidade com ERC, melhorando a segurança.

Uma nova abordagem pra simplificar cálculos que fazem efeito em linguagens de programação.

Uma abordagem nova pra melhorar a performance de software através de métodos de ajuste dinâmico.

Este artigo apresenta um método eficiente de diffs de árvore usando resolução de SAT.

Uma nova solução de filtro pra manuseio de dados de forma eficiente e escalabilidade.

Um novo método pra acelerar a correção de modelos Stateflow e reduzir custos.

Smart HPA melhora a eficiência de escala de microsserviços em ambientes com recursos limitados.

Um novo método, DepGraph, melhora a precisão na detecção de bugs em software.

O NetKAT simplifica a criação e verificação de regras de rede pra uma gestão mais eficiente.

Uma análise de como os desenvolvedores implementam soluções arquitetônicas em projetos de código aberto.

Um método de deep learning melhora a detecção de vulnerabilidades de software em código desconhecido.

Este artigo apresenta uma estrutura para analisar a terminação de programas com eficiência melhorada.