Artigos mais recentes para Desenvolvimento de Software

Um novo framework pra detectar e consertar vulnerabilidades em contratos inteligentes.

Este estudo investiga como os modelos de código entendem os nomes e o uso de APIs.

Uma nova forma de checar se os programas que usam aleatoriedade estão certos.

Um novo método combina TEEs e circuitos embaralhados pra melhorar o desempenho em tarefas na nuvem.

Aprenda como LLMs facilitam a criação e avaliação de código Verilog.

A ForSys faz análise não invasiva das propriedades mecânicas em tecidos biológicos.

Uma nova abordagem usa Aprendizado por Reforço pra lidar com os desafios de início a frio na computação serverless.

Uma teoria de tipo de dois níveis conecta provas lógicas e programação prática.

CartoonDiff simplifica a cartoonização de imagens sem precisar de modelos complexos ou treinamento.

Descubra como o ChatGPT pode agilizar o processo de revisão de código no desenvolvimento de software.

Explorando a lógica de separação dinâmica pra melhorar a gestão de memória na programação.

A COSI vai explorar raios gama ainda não explorados pra revelar fenômenos cósmicos.

Esse artigo fala sobre novos métodos para verificar a segurança de dados em sistemas concorrentes.

Um novo compilador aumenta as capacidades do CGRA para diversas aplicações de software.

Btor2MLIR oferece uma ferramenta flexível pra verificação de hardware de forma eficiente.

Descubra como o nf-test melhora os testes para pipelines computacionais em Bioinformática.

QTOS simplifica o planejamento de movimento para robôs quadrúpedes, melhorando seu desempenho.

Ajudas de saturação de ginásio ajudam provedores na prova automática de teoremas usando aprendizado por reforço.

Usando modelos de linguagem grandes pra agilizar os processos de verificação de design de hardware.

Este estudo analisa a eficácia das ferramentas de software para anotação genômica.

Uma nova abordagem pra consertar bugs de software usando modelos de linguagem pra selecionar código doador.

Apresentando um framework pra melhorar a isolação de aplicativos e o compartilhamento de recursos.

Novos métodos melhoram a comunicação em sistemas multi-agente através de coreografias e posets.

Uma olhada em como a memoização estocástica melhora a programação probabilística.

O método EditAS melhora a geração de asserções para resultados de testes unitários melhores.

Explore como a Integração Contínua melhora a qualidade do software e a colaboração da equipe.

O Data Formulator facilita a criação de visualizações ao automatizar a transformação de dados.

Novas ferramentas estão melhorando a análise de grandes grafos de propriedades.

EGFE melhora o processo de organizar elementos de design de UI pra ter uma qualidade de código melhor.

Um olhar sobre as características, desafios e potencial do contínuo de computação para os usuários.

Este artigo fala sobre como os LLMs melhoram o desenvolvimento de chatbots e a interação com os usuários.

Uma abordagem focada pra identificar rápido bugs de software com testes direcionados.

Um novo método de codificação melhora o design de layouts para apps e documentos.

O software Redback ajuda os astrônomos a analisarem eventos cósmicos transitórios.

Uma nova biblioteca pra criar e gerenciar conjuntos de dados de labirintos em machine learning.

RUEL melhora as sugestões de itens usando logs do navegador Edge e técnicas avançadas.

Analisando como requisitos de alta qualidade influenciam o sucesso de projetos de software.

Uma nova abordagem melhora o treinamento de modelos substitutos no desenvolvimento de software.

Analisando a ligação entre práticas de arquitetura de software e esforços de sustentabilidade.

Usar GPUs pra acelerar simulações de reservatórios pode melhorar a eficiência e diminuir o tempo de cálculo.