Artigos mais recentes para Desenvolvimento de Software

Gramáticas de precedência de operadores cíclicos melhoram a eficiência e flexibilidade do parsing em programação.

Destacando a necessidade de mais segurança em todas as bibliotecas de software.

Um novo método pra ensinar os conceitos de propriedade do Rust melhora a compreensão dos alunos.

Uma nova abordagem pra simplificar a gestão de recursos em aplicações multi-threaded.

Um novo modelo melhora como a gente trabalha com código usando representações intermediárias.

Esse artigo fala sobre uma nova linguagem de programação pra facilitar os testes baseados em propriedades.

Um novo sistema melhora a segurança filtrando chamadas de sistema desnecessárias em aplicações de servidor.

Explorando as dificuldades que os desenvolvedores enfrentam com o sistema de traits do Rust e as mensagens de erro.

A localização de falhas baseada em mutações oferece uma nova forma de encontrar bugs em DNNs.

PycWB torna a pesquisa sobre ondas gravitacionais mais acessível com ferramentas fáceis de usar.

SparseSwin oferece classificação de imagem eficiente com menos parâmetros e alta precisão.

Descubra o papel dos formatos comprimidos em melhorar o desempenho da IA.

Os LLMs melhoram o desempenho e a eficiência do software na otimização de código.

Explorando como os tipos de dados influenciam a programação e a correção do código.

Uma ferramenta pra ajudar os desenvolvedores a seguirem as diretrizes de aplicativos de voz.

Um olhar sobre como os desenvolvedores interagem com o GitHub Copilot e suas funcionalidades.

O Latte facilita o rastreamento de referências de objetos, diminuindo a complexidade para os desenvolvedores.

Uma visão geral dos modelos de programação de GPU para computação eficiente.

Apresentando um método pra criar conjuntos de dados de bugs precisos e diversos pra melhorar o software.

Este estudo analisa os problemas de mover bibliotecas de ML entre diferentes tipos de hardware.

Uma ferramenta pra ajudar os programadores a entender as mensagens de erro complexas do Rust.

Esse trabalho melhora o protocolo QUIC pra aprimorar a entrega de dados multicast.

Esse método simplifica a escolha de algoritmos e configurações para tarefas de aprendizado de máquina.

Uma nova abordagem de gerenciamento de memória melhora o desempenho de grandes modelos de linguagem.

KinFit melhora a precisão na medição de partículas em experimentos de física de hádrons.

Uma nova abordagem melhora a navegação de código para especificações de linguagens de software online.

MPI Advance melhora a troca de mensagens pra aumentar a eficiência da computação.

CRIL combina reversibilidade e concorrência para programação eficiente.

Este artigo apresenta um sistema de tipos pra gerenciar travas na programação.

Aprenda como os tipos de sessão garantem uma comunicação segura em sistemas de software.

A Rebeca temporizada modela sistemas assíncronos com manejo de mensagens sensíveis ao tempo.

Um novo método melhora as sugestões de API pra dar uma força no desenvolvimento de software.

Uma nova maneira de corrigir erros de compilação com mudanças mínimas no código.

Um olhar sobre como a aprendizagem de autômatos impacta várias áreas da tecnologia.

Saiba como variantes de programas podem melhorar a segurança do WebAssembly contra vulnerabilidades.

Um novo método melhora a geração de testes automatizados ao focar em metas de cobertura importantes.

Uma nova abordagem pra melhorar o autoscaling de funções serverless usando aprendizado por reforço.

Aprenda sobre geração de código, técnicas de otimização e a importância delas na programação.

Uma nova estrutura busca melhorar a coleta e o entendimento das vulnerabilidades de software.

Um novo framework facilita a criação de agentes de linguagem autônomos para diversas aplicações.