Notícias de IA e infraestrutura
Filtrar por tipo: Pesquisa13
ADRS explora pesquisa automatizada de desempenho em sistemas
Publicado em 24 de dezembro de 2025, o artigo apresenta um framework que usa modelos de linguagem para gerar, avaliar e refinar algoritmos, testado em dez tarefas de redes, bancos de dados e sistemas distribuídos.
- há 17 dias akkadia.org
Bibliotecas compartilhadas: como orientar o desenvolvimento
Publicado em 16 de fevereiro de 2026, o guia de Ulrich Drepper trata do design e da implementação de bibliotecas compartilhadas.
- há 17 dias eprint.iacr.org
Como avaliar testes de constant-time em bibliotecas criptográficas
Um artigo publicado em 28 de março de 2026 compara DATA e Microwalk na detecção de violações de constant-time em bibliotecas criptográficas.
Conversão de floats: comparação de algoritmos
Artigo de 10 de março de 2026 compara algoritmos de conversão de ponto flutuante em diferentes arquiteturas e conjuntos de dados; Schubfach e Dragonbox chegam a ser até dez vezes mais rápidos que Dragon4.
- há 17 dias gabi.xinuos.com
ELF no Linux: como estruturar a análise de binários
Publicada em 1º de abril de 2026, a publicação sobre a especificação ELF descreve o formato de executáveis, arquivos-objeto, bibliotecas compartilhadas e core dumps no Linux.
- há 17 dias refspecs.linuxfoundation.org
Formato ELF: organize a análise de binários
Publicada em 28 de fevereiro de 2026, a especificação documenta o formato ELF, usado em executáveis e arquivos-objeto. Empresas podem aplicar esse conhecimento para inventariar binários e melhorar ferramentas de análise.
- há 17 dias users.cs.utah.edu
Integer overflow em C e C++: controles para reduzir riscos
Artigo de 2012 da University of Utah aborda integer overflow em C e C++, um risco relevante na escrita e revisão de código nessas linguagens.
- há 17 dias cdrdv2-public.intel.com
Intel atualiza a especificação AVX10.2 para a versão 6.0
Em post publicado em 11 de março de 2026, a Intel anunciou a versão 6.0 da especificação AVX10.2 e a renomeação de AVX10_VNNI_INT para AVX10_V1_AUX.
- há 17 dias people.freebsd.org
Memória e desempenho: transformar conhecimento em diagnóstico
Publicado em 29 de março de 2026, o artigo de Ulrich Drepper aborda memória para programadores e oferece contexto para engenheiros que investigam comportamento da memória e desempenho.
- há 17 dias cs.yale.edu
Verificação de limites de stack em programas C
Artigo de 2014 de Q. Carbonneaux e coautores aborda a verificação end-to-end de limites de uso da stack em programas C e aponta um tema prático para equipes que precisam controlar recursos de memória.
- há 17 dias cs.cmu.edu
Algoritmos paralelos e hierarquia de memória
O livro de Guy Blelloch aborda algoritmos paralelos e hierarquia de memória, temas relevantes para avaliar o desempenho de sistemas que processam tarefas em paralelo.
C*: aproximando programação e verificação em C
Artigo datado de 8 de setembro de 2026 apresenta C*, uma abordagem para aproximar a programação convencional em C da verificação formal.
- há 18 dias net.in.tum.de
Como observar o percurso de pacotes no kernel Linux
Publicada em 27 de junho de 2026, a publicação trata do caminho percorrido por pacotes no kernel do Linux e da utilidade desse conhecimento para analisar o comportamento da rede.
arxiv.orgVamos avaliar seu projeto
Respondo com escopo e proposta.