Informatique - Langages de programmation

RSS

Langages de programmation CSE Machine : Une nouvelle façon d'apprendre la programmation

Un outil pour simplifier l'apprentissage des concepts de programmation en utilisant le langage Scheme.

Kyriel Abad, Martin Henz

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

Derniers articles

Informatique distribuée, parallèle et en grappes Massimult Architecture : Une nouvelle façon de calculer

Jurgen Nicklisch-Franken, Ruslan Feizerakhmanov

2025-04-21T04:36:18+00:00 ― 6 min lire

Bases de données Avancées dans les outils de génération de requêtes log

Vishwanath Seshagiri, Siddharth Balyan, Vaastav Anand

2025-04-17T13:56:06+00:00 ― 8 min lire

Calcul et langage Transformer la création de diagrammes en informatique

Siddhartha Prasad, Ben Greenman, Tim Nelson

2025-04-15T15:23:24+00:00 ― 7 min lire

Langages de programmation La fusion des styles de programmation

Martin Pluemicke

2025-04-14T16:55:12+00:00 ― 10 min lire

Langages de programmation Simplification de la substitution dans les assistants de preuve

Philip Wadler

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

Derniers articles

Apprentissage automatique Flex Attention : Le Futur de l'Apprentissage Automatique

Découvrez comment Flex Attention redéfinit l'attention des données dans le machine learning.

Juechu Dong, Boyuan Feng, Driss Guessous

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

Architecture matérielle ASC-Hook : Améliorer les appels système sur les appareils ARM

ASC-Hook améliore les performances des appels système et le suivi pour les applis ARM.

Yang Shen, Min Xie, Wenzhe Zhang

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

Bases de données Synthèse de requêtes de bases de données efficaces : Résultats des expériences

Une étude sur la création de requêtes de base de données de documents efficaces à partir d'exemples.

Qikang Liu, Yang He, Yanwen Cai

2025-04-02T14:24:54+00:00 ― 7 min lire

Génie logiciel Phaedrus : Un vrai changement de jeu dans le profilage d'applications

Phaedrus améliore le profilage des logiciels, rendant tout plus efficace et performant.

Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan

2025-03-30T19:48:27+00:00 ― 8 min lire

Architecture matérielle Révolutionner la génération de code Verilog avec PyraNet

Le dataset PyraNet booste la qualité et l'efficacité du code Verilog.

Bardia Nadimi, Ghali Omar Boutaib, Hao Zheng

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

Langages de programmation Traduire Go en Rust : Un guide pratique

Apprends à traduire efficacement des projets Go en Rust avec cette méthode étape par étape.

Hanliang Zhang, Cristina David, Meng Wang

2025-03-26T23:31:12+00:00 ― 7 min lire

Langages de programmation Renforcer la sécurité avec B2Scala : une nouvelle approche

Les outils B2Scala améliorent l'analyse des protocoles de sécurité pour une communication sécurisée.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 9 min lire

Langages de programmation Reconfiguration décentralisée : Une nouvelle façon d'organiser les systèmes

Découvrez les avantages de la reconfiguration décentralisée dans les systèmes logiciels.

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

2025-03-19T14:58:12+00:00 ― 9 min lire

Langages de programmation Maîtriser la communication asynchrone en informatique

Découvrez comment la communication asynchrone améliore l'interaction et l'efficacité des systèmes.

Bas van den Heuvel, Jorge A. Pérez

2025-03-19T14:10:03+00:00 ― 9 min lire

Langages de programmation Accélérer l'analyse des programmes avec des méthodes algébriques

Apprends comment l'analyse incrémentale simplifie la programmation et améliore l'efficacité.

Chenyu Zhou, Yuzhou Fang, Jingbo Wang

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

Génie logiciel ACInv : Une nouvelle ère dans la génération d'invariants de boucle

Découvrez ACInv, un outil qui révolutionne la génération d'invariants de boucle pour la programmation complexe.

Ruibang Liu, Guoqiang Li, Minyu Chen

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

Langages de programmation Optimisation des compilateurs IA grâce au matching de patterns

Découvrez comment le matching de motifs améliore les performances des compilateurs d'IA sur les GPU.

Joseph W. Cutler, Alex Collins, Bin Fan

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

Intelligence artificielle Révolutionner le développement de l'IA avec un nouveau cadre

Un kit d'outils révolutionnaire simplifie l'utilisation des modèles de base pour les développeurs.

Ziyang Li, Jiani Huang, Jason Liu

2025-02-21T12:13:03+00:00 ― 5 min lire

Cryptographie et sécurité Sécuriser les systèmes de contrôle industriels contre les menaces cybernétiques

Apprends comment protéger les systèmes industriels des cyberattaques avec de nouvelles méthodes de sécurité.

Arthur Amorim, Trevor Kann, Max Taylor

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

Langages de programmation Révolutionner l'analyse statique avec LLMSA

Une nouvelle approche améliore l'analyse statique en utilisant des modèles de langage pour un meilleur développement logiciel.

Chengpeng Wang, Yifei Gao, Wuqi Zhang

2025-02-20T14:33:00+00:00 ― 7 min lire

Logique en informatique Simplifier la vérification de la vivacité avec des classements implicites

Une nouvelle approche pour vérifier le comportement des systèmes en utilisant des classements implicites.

Raz Lotan, Sharon Shoham

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

Langages de programmation Transformer du code C en Rust sécurisé

Apprends à automatiser la traduction du code C en Rust sécurisé.

Aymeric Fromherz, Jonathan Protzenko

2025-02-12T22:46:39+00:00 ― 10 min lire

Logique en informatique AuDaLa : Une nouvelle façon de coder

Découvre AuDaLa, le langage de programmation qui simplifie la gestion des données et des tâches parallèles.

Tom T. P. Franken, Thomas Neele

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

Langages de programmation Koka Bayes : Simplifier la programmation probabiliste

Découvrez comment Koka Bayes rend la programmation probabiliste plus simple et plus efficace.

Oliver Goldstein, Ohad Kammar

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

Apprentissage automatique Synthétiseur Rapide : Le Futur de la Synthèse de Programmes

Découvrez le synthétiseur rapide et innovant qui transforme la synthèse de programmes avec une efficacité à retard constant.

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

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

Langages de programmation Maîtriser le traitement des paquets : Un guide

Un aperçu approfondi des essentiels du traitement et de la vérification des paquets.

Shengyi Wang, Mengying Pan, Andrew W. Appel

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

Langages de programmation Déverrouiller l'avenir avec la programmation quantique

Explore les bases et les applications de la programmation quantique de manière simple.

Mingsheng Ying, Li Zhou, Gilles Barthe

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

Physique quantique Automatisation de la programmation quantique : une nouvelle approche

Ce rapport parle d'une méthode pour améliorer l'efficacité de la programmation quantique en utilisant des qubits auxiliaires.

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

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

Apprentissage automatique Révolutionner la conception des opérateurs en apprentissage profond

Un nouveau cadre simplifie les opérateurs d'apprentissage profond, améliorant la précision et l'utilité pour les développeurs.

Qi Zhan, Xing Hu, Xin Xia

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