Artigos mais recentes para Desenvolvimento de Software

Analisando problemas de mudança de esquema em programação ao vivo e software local-first.

O Safurai-001 oferece ajuda intuitiva pra programação através de métodos avançados de interação e avaliação.

Novos métodos melhoram a eficiência na análise de códigos de software complexos.

Esse sistema melhora como os usuários transferem notebooks de computação entre dispositivos.

Um novo método melhora a detecção de bugs usando dados de gameplay não rotulados.

Explorando novos métodos em teoria dos tipos para melhores práticas de programação.

Explorando novos métodos para segurança na comunicação em sistemas computacionais usando tipos de sessão.

Uma abordagem nova pra prever atrasos em projetos ágeis usando dados em tempo real.

Entendendo o impacto da dívida técnica em startups de software e seus processos de desenvolvimento.

Uma visão geral da estratégia externa em programação forte por valor.

SBOMs são essenciais pra acompanhar componentes de software e melhorar a segurança.

A MELAGE ajuda médicos e pesquisadores a analisarem imagens do cérebro pra um diagnóstico melhor.

O PyPose simplifica a programação de robôs para desenvolvedores e pesquisadores.

Uma olhada na performance do GPT-4 e do GPT-3.5 em tarefas de programação.

O Quark melhora o desempenho dos containers enquanto mantém altos padrões de segurança.

A gramática de recursos espanhola atualizada melhora a análise e o aprendizado de idiomas.

Sistemas inteligentes precisam evoluir pra lidar com incertezas em ambientes em tempo real.

Este artigo analisa como a localização afeta o desempenho dos clientes de Ethereum e as recompensas dos validadores.

Descubra como a PNL facilita a engenharia de requisitos para o desenvolvimento de software.

Explorando técnicas pra detectar e escapar de malware na cibersegurança moderna.

Um olhar sobre as vulnerabilidades de contratos inteligentes e o papel da análise de intervalos.

Explore maneiras inovadoras de definir e verificar loops while no Coq.

Uma olhada em funtores polinomiais e seu papel em tipos de dados.

Aprenda como verificar se diferentes versões de fluxo de trabalho produzem os mesmos resultados.

Um método novo melhora a tradução de código de montagem, facilitando a manutenção de software.

LogGPT oferece métodos melhorados para detectar anomalias em dados de log.

Aprenda o básico de regex pra manipulação de strings e manuseio de dados de forma eficaz.

Um novo sistema integra computação sem servidor e redes peer-to-peer para um treinamento de modelo mais eficiente.

Pesquisas destacam métodos para comprimir modelos de linguagem sem perder desempenho na geração de código.

Descubra como DevOps e InnerSource ajudam na reutilização eficaz de microsserviços em grandes organizações.

Um software fácil de usar pra calcular as características ópticas de estruturas em camadas.

A MANA simplifica o checkpointing para aplicações MPI, garantindo uma integração fácil e um desempenho confiável.

Explorando soluções pra extensão de tipo de dado e gerenciamento de funções na programação.

Um novo sistema usa aprendizado de máquina pra automatizar a otimização de código direto do código-fonte.

Esse estudo destaca a eficácia do CodeT5 em sugerir pequenas edições de código para corrigir bugs.

Um novo framework combina o CodeBERT e GNNs pra melhorar a detecção de vulnerabilidades em software.

O T5APR melhora a correção de bugs em várias linguagens de programação usando técnicas avançadas de aprendizado de máquina.

Esse artigo analisa o uso da API do Linux em várias aplicações e destaca as principais descobertas.

Uma nova abordagem de roteamento de modelo melhora a seleção de grandes modelos de linguagem para tarefas específicas.

Apresentando uma linguagem de programação que mistura recursos de sistema e não sistema.