Artigos mais recentes para Desenvolvimento de Software

O EasyLAN facilita o desenvolvimento de redes LLM colaborativas pra tarefas complexas.

Raciocínio contrafactual ajuda a entender as vulnerabilidades no código.

Um novo método para marca d'água eficaz em código gerado por IA.

Um novo método open-source acelera as tarefas de roteamento para FPGAs modernos.

Este estudo explora o impacto de clones de código em frameworks de deep learning e na qualidade do software.

Analisando os desafios que profissionais de software com deficiência visual e baixa visão enfrentam na evolução da carreira.

Explorando métodos pra avaliar a confiabilidade de programas em chips pequenos e rápidos.

Explore transformações para melhorar a qualidade dos testes de linguagem natural.

Um novo método busca automatizar testes em ambientes de compilador que estão mudando.

Esse artigo fala sobre um jeito de gerenciar termos tipados na programação.

Um novo sistema melhora o agendamento de funções e a gestão de recursos na computação serverless.

Analisando o comportamento e a finalização de laços de restrição linear na programação.

Um novo sistema simplifica as tarefas de design 3D no Blender usando modelos de IA avançados.

Simplificando a análise de grandes conjuntos de dados em proteômica e interatômica com ThunderBolt.

Um novo framework melhora os métodos de verificação de compiladores pra ter uma precisão melhor.

Uma estrutura unificada pra melhorar os processos de depuração de software.

ALock simplifica a sincronização em RDMA, aumentando a performance e reduzindo a latência.

Uma visão geral dos métodos de teste para bibliotecas de aprendizado profundo e sua importância.

Estudo revela vulnerabilidades no código produzido por grandes modelos de linguagem.

Descubra como a verificação de modelo HyperLTL melhora a segurança dos sistemas de software.

Tenspiler facilita a adaptação do código, permitindo que os desenvolvedores acompanhem as mudanças tecnológicas.

Aprenda como a lógica dinâmica ajuda a verificar o comportamento do programa de forma eficaz.

Um novo sistema de tipos melhora a geração de C++ a partir de especificações do Isabelle/HOL, aumentando a precisão.

Um estudo sobre a eficácia das ferramentas SAST para contratos inteligentes.

O Converter facilita a implantação de aplicativos em ambientes de nuvem e de borda.

Um novo framework pra avaliar o desempenho dos sistemas RAG.

A Inteligência de Carga de Trabalho conecta as plataformas de nuvem e as cargas de trabalho, melhorando o desempenho.

Um novo método detecta corridas de dados com precisão melhorada e baixo overhead.

Essa ferramenta melhora a conversão de código para Rust, focando em segurança e legibilidade.

Esse artigo fala sobre os avanços da PyLaia em reconhecimento de texto usando modelos de linguagem.

Uma olhada nas ameaças de segurança que os Code LLMs ajustados por instrução representam.

Ethraid ajuda pesquisadores a estudarem companheiros de estrelas distantes usando dados limitados.

SUGAR simplifica a álgebra geométrica para engenheiros e matemáticos usando Matlab.

Novos componentes melhoram a eficiência da memória e a velocidade de processamento na geração 3D.

Aprenda a determinar quando programas que usam aleatoriedade vão parar de rodar.

Um olhar sobre como a gente compara e analisa comportamentos de sistemas usando várias técnicas.

Este artigo explora o viés em modelos de geração de código em diferentes linguagens.

Avaliando a confiabilidade dos resumos produzidos por IA pra melhorar a manutenção de software.

Uma visão geral das alucinações de código em LLMs e seu impacto no desenvolvimento de software.

Novas métricas visam melhorar a segurança e a correção do código com LLMs.