Artigos mais recentes para Desenvolvimento de Software

Explore estratégias pra garantir a qualidade do software em ambientes de desenvolvimento colaborativo abertos.

Novas técnicas melhoram o desempenho das consultas em gráficos de navegação, acelerando as avaliações.

Um novo método melhora a detecção de vulnerabilidades microarquiteturais em sistemas de computador.

Um estudo avaliando o desempenho e a precisão do formato posit em comparação com o IEEE 754.

Uma visão geral do teste metamórfico e seu papel na qualidade do software.

GSDO otimiza problemas complexos sem precisar de derivadas.

Descubra como o Qiskit ajuda na pesquisa e aplicações de computação quântica.

M2CVD melhora a detecção de vulnerabilidades de software através de abordagens de modelo colaborativo.

Uma abordagem nova melhora a detecção de vulnerabilidades de segurança em software usando modelos avançados.

Aprenda como a depuração reversível melhora o rastreamento de erros na programação em Erlang.

Um novo teste pra avaliar LLMs em tarefas de programação em Java.

Um novo método melhora modelos de linguagem de código através de casos de teste eficazes e aprendizado de preferências.

Esse artigo apresenta um método pra garantir a qualidade no código gerado por LLM.

Este artigo explora um novo método para melhorar a eficiência na busca de instruções.

Os avanços na computação quântica exigem testes e depuração eficazes para um software confiável.

Os números Takum oferecem uma opção melhor para a aritmética computacional, equilibrando a eficiência de números pequenos e grandes.

Um método rápido para edição visual personalizada usando técnicas de autoatenção.

O MARVeLus faz a verificação e implementação de pontes pra deixar sistemas ciberfísicos mais seguros.

O LogBatcher simplifica a análise de logs usando modelos de linguagem grandes sem precisar de treinamento prévio.

Uma nova ferramenta melhora a gestão de software em tempo real para respostas imediatas.

Aprenda como a modelagem ecológica ajuda a enfrentar os desafios ambientais.

Esse artigo fala sobre os riscos de alucinações de pacotes em modelos que geram código.

Um novo algoritmo melhora a eficiência de consultas de junção em bancos de dados.

Um novo método melhora os LLMs pra gerar código de UI de alta qualidade.

Usando modelos de linguagem pra melhorar a detecção de bugs em software e a eficiência dos testes.

Um novo método melhora a precisão na conversão de declarações informais para linguagens formais.

Novo framework melhora a conclusão de código ao captar conhecimento específico do repositório.

Uma nova arquitetura melhora a gestão de recursos em sistemas de recomendação.

Um novo pacote R para regressão semiparamétrica funcional e análise de dados.

Um olhar sobre vulnerabilidades e soluções para sistemas de aprendizado profundo.

Combinando fuzzing e modelos de linguagem pra melhorar a eficiência dos testes de software.

DafnyBench avalia ferramentas de verificação de software, abrindo caminho para uma programação confiável.

Uma nova ferramenta melhora a análise estática com gráficos simplificados e aprendizado de máquina.

Uma nova abordagem melhora a confiabilidade dos testes para bibliotecas de deep learning.

Novo software melhora o rastreamento e a análise dos comportamentos e atividades de C. elegans.

AlabOS agiliza os processos para laboratórios automatizados, melhorando a eficiência na pesquisa de materiais.

Uma abordagem bilíngue melhora a correção enquanto mantém a velocidade na programação.

Modelos de linguagem grandes melhoram o teste diferencial no desenvolvimento de software.

Explora como a IA tá mudando as práticas e funções na engenharia de software.

O CamTrol facilita o controle do movimento da câmera em vídeos gerados sem precisar de muito treinamento.