Artigos mais recentes para Desenvolvimento de Software

ANARI paralelo a dados melhora a eficiência e a qualidade de renderização em visualização científica.

Descubra como sistemas multiagente aprimoram a automação de tarefas e a resolução de problemas.

Uma nova abordagem otimiza o desempenho do kernel utilizando Ansor e Droplet Search.

Uma nova ferramenta melhora a identificação de autores de software por meio da análise de código.

Examinando como autômatos de limiar melhoram a verificação de algoritmos distribuídos.

O BioMANIA simplifica a análise de dados biológicos através da comunicação em linguagem natural.

Uma revisão do papel do aprendizado de máquina na melhoria dos processos de integração contínua.

CHASE melhora a análise de causa raiz em microsserviços usando métodos de dados diversos.

Otimizando a gestão de memória pra melhorar o desempenho em sistemas embarcados.

Uma ferramenta pra verificar protocolos de comunicação em apps de Clojure.

Melhore o treinamento do modelo para tarefas de programação com técnicas de poda de dados eficazes.

Um novo método transforma esboços feitos à mão em modelos CAD com mais precisão.

Uma ferramenta pra verificar a segurança de modelos de deep learning.

Um novo framework melhora a compatibilidade do código C/C++ para síntese de hardware.

Uma olhada nos tipos equi-recursivos e iso-recursivos na programação.

Uma visão geral dos desafios dos gerenciadores de pacotes e seu impacto nos desenvolvedores.

Um novo sistema melhora o desempenho da nuvem e reduz custos ao combinar VMs e FaaS.

Cedar oferece um jeito claro de desenvolver políticas de autorização para aplicativos.

Avaliando métodos pra melhorar o desempenho em contextos longos em modelos de linguagem.

Métodos simplificados superam agentes complexos na resolução de problemas de software.

Um novo sistema melhora a precisão e eficiência da transcrição musical com múltiplos instrumentos.

Um guia sobre o papel do Yul nos contratos inteligentes do Ethereum.

Analisando métodos pra melhorar a geração de código pra linguagens de programação especializadas usando LLMs.

O STRIDE prevê nomes e tipos de variáveis perdidos em softwares decompilados de forma eficiente.

Nova plataforma e conjunto de dados visam melhorar os modelos de correção de bugs do kernel do Linux.

O ResearchBot ajuda os desenvolvedores ligando eles a insights de pesquisa acadêmica.

Este estudo avalia quão bem o GPT-3.5 e o GPT-4 detectam clones de código.

Um estudo sobre como melhorar a segurança do código gerado por modelos de IA.

Um método que usa modelos em camadas pra previsões eficientes em aprendizado de máquina.

Esse artigo fala sobre um novo método pra proteger dados confidenciais em aplicações de troca de mensagens.

MIREncoder melhora a otimização de código usando representação multimodal e aprendizado de máquina.

Uma estrutura em duas etapas melhora a inferência de tipos do Python, aumentando a qualidade e a eficiência do código.

Explore como a Verificação em Tempo de Execução ajuda a checar o desempenho do sistema através de rastros de eventos.

Modelos de linguagem avançados melhoram os testes automatizados de apps móveis, detectando bugs importantes.

Um método que melhora a verificação de programas probabilísticos de ordem superior usando sistemas de tipos inovadores.

Talkamatic melhora os chatbots ao aprimorar a gestão de diálogos para interações com os usuários.

Um novo benchmark aborda os desafios na recuperação de código para desenvolvedores.

Uma olhada em novos métodos que melhoram a eficiência do planejamento de circuitos eletrônicos.

Uma nova ferramenta melhora a mesclagem do Git analisando dependências de código.

Uma nova estrutura aborda a justiça em redes neurais profundas durante a poda do modelo.