Informática - Linguagens de programação

RSS

Linguagens de programação CSE Machine: Uma Nova Forma de Aprender Programação

Uma ferramenta pra simplificar o aprendizado de conceitos de programação usando a linguagem Scheme.

Kyriel Abad, Martin Henz

2025-04-24T11:05:45+00:00 ― 6 min ler

Artigos mais recentes

Computação distribuída, paralela e em cluster Arquitetura Massimult: Uma Nova Maneira de Computar

Jurgen Nicklisch-Franken, Ruslan Feizerakhmanov

2025-04-21T04:36:18+00:00 ― 5 min ler

Bases de dados Avanços em Ferramentas de Geração de Consultas de Log

Vishwanath Seshagiri, Siddharth Balyan, Vaastav Anand

2025-04-17T13:56:06+00:00 ― 6 min ler

Computação e linguagem Transformando a Criação de Diagramas em Ciência da Computação

Siddhartha Prasad, Ben Greenman, Tim Nelson

2025-04-15T15:23:24+00:00 ― 6 min ler

Linguagens de programação A Fusão de Estilos de Programação

Martin Pluemicke

2025-04-14T16:55:12+00:00 ― 9 min ler

Linguagens de programação Simplificando Substituições em Assistentes de Prova

Philip Wadler

2025-04-14T16:07:03+00:00 ― 7 min ler

Artigos mais recentes

Aprendizagem de máquinas Flex Attention: O Futuro do Aprendizado de Máquina

Descubra como o Flex Attention muda o foco de dados no aprendizado de máquina.

Juechu Dong, Boyuan Feng, Driss Guessous

2025-04-08T15:40:03+00:00 ― 7 min ler

Arquitetura de Hardware ASC-Hook: Melhorando Chamadas de Sistema em Dispositivos ARM

ASC-Hook melhora o desempenho de chamadas de sistema e a monitoração para aplicações ARM.

Yang Shen, Min Xie, Wenzhe Zhang

2025-04-04T20:59:06+00:00 ― 8 min ler

Bases de dados Síntese Eficiente de Consultas em Banco de Dados: Resultados dos Experimentos

Um estudo sobre como criar consultas eficientes em bancos de dados de documentos a partir de exemplos.

Qikang Liu, Yang He, Yanwen Cai

2025-04-02T14:24:54+00:00 ― 6 min ler

Engenharia de software Phaedrus: Um divisor de águas na análise de aplicativos

Phaedrus melhora o perfil de software, aumentando a eficiência e o desempenho.

Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan

2025-03-30T19:48:27+00:00 ― 7 min ler

Arquitetura de Hardware Revolucionando a Geração de Código Verilog com PyraNet

O conjunto de dados PyraNet impulsiona avanços na qualidade e eficiência do código Verilog.

Bardia Nadimi, Ghali Omar Boutaib, Hao Zheng

2025-03-30T11:46:57+00:00 ― 8 min ler

Linguagens de programação Traduzindo Go para Rust: Um Guia Prático

Aprenda a traduzir projetos em Go para Rust de forma eficaz com este método passo a passo.

Hanliang Zhang, Cristina David, Meng Wang

2025-03-26T23:31:12+00:00 ― 6 min ler

Linguagens de programação Fortalecendo a Segurança Através do B2Scala: Uma Nova Abordagem

As ferramentas B2Scala melhoram a análise de protocolos de segurança para uma comunicação segura.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 8 min ler

Linguagens de programação Reconfiguração Descentralizada: Uma Nova Forma de Organizar Sistemas

Descubra os benefícios da reconfiguração descentralizada em sistemas de software.

Farid Arfi, Hélène Coullon, Frédéric Loulergue

2025-03-19T14:58:12+00:00 ― 8 min ler

Linguagens de programação Dominando a Comunicação Assíncrona em Computação

Descubra como a comunicação assíncrona melhora a interação e a eficiência do sistema.

Bas van den Heuvel, Jorge A. Pérez

2025-03-19T14:10:03+00:00 ― 8 min ler

Linguagens de programação Acelerando a Análise de Programas com Métodos Algébricos

Aprenda como a análise incremental facilita a programação e aumenta a eficiência.

Chenyu Zhou, Yuzhou Fang, Jingbo Wang

2025-03-13T11:18:36+00:00 ― 7 min ler

Engenharia de software ACInv: Uma Nova Era na Geração de Invariantes de Loop

Descubra o ACInv, uma ferramenta que tá revolucionando a geração de invariantes de loop pra programação complexa.

Ruibang Liu, Guoqiang Li, Minyu Chen

2025-03-12T14:26:42+00:00 ― 7 min ler

Linguagens de programação Otimizando Compiladores de IA Através de Correspondência de Padrões

Descubra como a correspondência de padrões melhora o desempenho de compiladores de IA em GPUs.

Joseph W. Cutler, Alex Collins, Bin Fan

2025-02-26T21:25:12+00:00 ― 7 min ler

Inteligência Artificial Revolucionando o Desenvolvimento de IA com Novo Framework

Uma ferramenta inovadora simplifica o uso de modelos de base para desenvolvedores.

Ziyang Li, Jiani Huang, Jason Liu

2025-02-21T12:13:03+00:00 ― 4 min ler

Criptografia e segurança Proteger Sistemas de Controle Industrial contra Ameaças Cibernéticas

Aprenda a proteger sistemas industriais contra ataques cibernéticos com novos métodos de segurança.

Arthur Amorim, Trevor Kann, Max Taylor

2025-02-21T00:10:48+00:00 ― 9 min ler

Linguagens de programação Revolucionando a Análise Estática com LLMSA

Uma nova abordagem melhora a análise estática usando modelos de linguagem para um desenvolvimento de software mais eficiente.

Chengpeng Wang, Yifei Gao, Wuqi Zhang

2025-02-20T14:33:00+00:00 ― 6 min ler

Lógica na Informática Simplificando a Verificação de Vivacidade com Classificações Implícitas

Uma nova abordagem pra verificar o comportamento do sistema usando rankings implícitos.

Raz Lotan, Sharon Shoham

2025-02-18T16:00:18+00:00 ― 7 min ler

Linguagens de programação Transformando C para Rust Seguro

Aprenda como automatizar a tradução de código C para Rust seguro.

Aymeric Fromherz, Jonathan Protzenko

2025-02-12T22:46:39+00:00 ― 9 min ler

Lógica na Informática AuDaLa: Uma Nova Maneira de Codar

Descubra o AuDaLa, a linguagem de programação que simplifica o manuseio de dados e tarefas paralelas.

Tom T. P. Franken, Thomas Neele

2025-02-12T12:20:42+00:00 ― 6 min ler

Linguagens de programação Koka Bayes: Simplificando a Programação Probabilística

Descubra como o Koka Bayes torna a programação probabilística mais fácil e eficaz.

Oliver Goldstein, Ohad Kammar

2025-02-11T02:01:16+00:00 ― 9 min ler

Aprendizagem de máquinas Synthesizador Ágil: O Futuro da Síntese de Programas

Descubra o sintetizador rápido e inovador que tá mudando a síntese de programas com eficiência de atraso constante.

Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde

2025-01-29T11:17:42+00:00 ― 8 min ler

Linguagens de programação Dominando o Processamento de Pacotes: Um Guia

Uma análise detalhada dos essenciais de processamento e verificação de pacotes.

Shengyi Wang, Mengying Pan, Andrew W. Appel

2025-01-23T11:38:51+00:00 ― 9 min ler

Linguagens de programação Desbloqueando o Futuro com Programação Quântica

Explore os fundamentos e aplicações da programação quântica de um jeito simples.

Mingsheng Ying, Li Zhou, Gilles Barthe

2025-01-22T02:44:42+00:00 ― 6 min ler

Física Quântica Automatizando a Programação Quântica: Uma Nova Abordagem

Esse relatório fala sobre um método pra melhorar a eficiência da programação quântica usando qubits auxiliares.

Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni

2025-01-20T01:18:02+00:00 ― 8 min ler

Aprendizagem de máquinas Revolucionando o Design de Operadores de Deep Learning

Um novo framework simplifica os operadores de deep learning, melhorando a precisão e a usabilidade para os desenvolvedores.

Qi Zhan, Xing Hu, Xin Xia

2025-01-17T22:10:22+00:00 ― 8 min ler