Artigos mais recentes para Desenvolvimento de Software

Um estudo sobre como melhorar o mapeamento de tarefas em CGRAs usando métodos SAT.

Soluções de contagem eficientes para aplicações modernas usando métodos aproximados.

Esse artigo explora um método pra melhorar a sumarização de código usando insights da atenção humana.

Analisando como o comportamento dos usuários afeta o desempenho do sistema de recomendação.

Uma visão geral da linearizabilidade forte e sua importância na programação concorrente.

Um novo método de marca d'água protege modelos de linguagem personalizados contra uso não autorizado.

Um novo método pra melhorar modelos de aprendizado de máquina que são afetados por dados ruins.

Esse método usa uma abordagem bayesiana pra prever com precisão as atividades dos usuários em testes online.

Esse modelo lida com os desafios únicos de gerenciar mudanças em projetos de software globais.

Novos métodos melhoram as previsões de desempenho focando nas dependências de memória.

Uma nova abordagem para o preenchimento de código melhora as sugestões levando em conta repositórios de código inteiros.

Explorando as vulnerabilidades nas provas de conhecimento zero em criptografia.

Uma análise dos problemas comuns na gestão de ativos de aprendizado de máquina e soluções propostas.

Explore a abordagem centrada em dados pra melhorar sistemas de software de IA.

A MobiLlama oferece um processamento de linguagem eficiente pra dispositivos com recursos limitados.

Aprenda como o MPST melhora os processos de comunicação em sistemas distribuídos.

Uma nova abordagem melhora a eficiência na resolução SMT para vetores de bits.

Uma análise detalhada das ferramentas de simulação quântica e seus desafios de desempenho.

Esse estudo analisa a ascensão das práticas de CI/CD entre desenvolvedores de 2012 a 2023.

Um sistema pra eliminar reflexos em imagens pra fotos mais claras.

Uma ferramenta feita pra melhorar as tarefas de ciência de dados com planejamento dinâmico e checagem de erros.

Descubra como o JCLEC-MO simplifica a otimização multi-objetivo para engenheiros.

Esse estudo analisa como a IA afeta a produtividade e a confiança entre os engenheiros de software.

Explore a importância dos requisitos de desempenho e dos testes em projetos de software.

Uma visão geral das revisões de código modernas e sua importância na qualidade do software.

Este artigo analisa a verificação de invariantes em sistemas com estados infinitos usando dois algoritmos.

Um novo método para criar programas sem recursão a partir de especificações funcionais.

Este artigo analisa os esforços recentes para automatizar o raciocínio indutivo na prova de teoremas.

A FlaKat oferece uma solução de aprendizado de máquina pra identificar e categorizar testes instáveis.

Um olhar sobre o impacto e a presença de arquitetos de software no Brasil.

Um estudo classifica as capacidades de programação de vários modelos de linguagem grandes.

Explore conceitos-chave de programação pra criar aplicações robustas e confiáveis.

A observabilidade é fundamental pra gerenciar aplicações de microserviços e garantir que elas sejam confiáveis.

DyPyBench oferece um conjunto diversificado de projetos para análise dinâmica em Python.

Estratégias para uma melhor alocação de recursos em plataformas serverless.

Hércules otimiza a alocação de recursos de rede para diferentes necessidades de aplicativos.

Uma olhada na comparação de modelos probabilísticos não determinísticos e sua importância.

Uma visão geral dos contratos inteligentes atualizáveis e seus desafios de segurança.

Um novo método simplifica a poda de redes neurais para melhorar o desempenho.

Esse estudo investiga como os LLMs conseguem gerar decisões arquitetônicas.