Derniers articles pour Développement de logiciels

EasyLAN simplifie le développement de réseaux LLM collaboratifs pour des tâches complexes.

Le raisonnement contrefactuel améliore la compréhension des vulnérabilités dans le code.

Une nouvelle méthode pour un tatouage efficace dans le code généré par l'IA.

Une nouvelle méthode open-source accélère les tâches de routage pour les FPGAs modernes.

Cette étude explore l'impact des clones de code sur les frameworks d'apprentissage profond et la qualité du logiciel.

Examiner les défis auxquels les professionnels des logiciels malvoyants et aveugles sont confrontés pour progresser dans leur carrière.

Explorer des méthodes pour évaluer la fiabilité des programmes sur des puces rapides et petites.

Explore des transformations pour améliorer la qualité des tests de langue naturelle.

Une nouvelle méthode vise à automatiser les tests dans des environnements de compilateurs en évolution.

Cet article parle d'une méthode pour gérer les termes typés en programmation.

Un nouveau système améliore la planification des fonctions et la gestion des ressources dans le computing sans serveur.

Analyser le comportement et la terminaison des boucles de contraintes linéaires en programmation.

Un nouveau système simplifie les tâches de design 3D dans Blender en utilisant des modèles d'IA avancés.

Simplifier l'analyse de gros ensembles de données en protéomique et interactomique avec ThunderBolt.

Un nouveau cadre améliore les méthodes de vérification des compilateurs pour une meilleure précision.

Un cadre unifié pour améliorer les processus de débogage logiciel.

ALock simplifie la synchronisation en RDMA, améliore les performances et réduit la latence.

Un aperçu des méthodes de test pour les bibliothèques de deep learning et leur importance.

Une étude révèle des vulnérabilités dans le code produit par de grands modèles de langage.

Découvrez comment la vérification de modèle HyperLTL renforce la sécurité des systèmes logiciels.

Tenspiler simplifie l'adaptation du code, permettant aux développeurs de suivre le rythme des changements technologiques.

Apprends comment la logique dynamique aide à vérifier efficacement le comportement des programmes.

Un nouveau système de type améliore la génération de C++ à partir des spécifications Isabelle/HOL, ce qui augmente la précision.

Une étude sur l'efficacité des outils SAST pour les contrats intelligents.

Le converter simplifie le déploiement d'applications sur les environnements cloud et edge.

Un nouveau cadre pour évaluer la performance des systèmes RAG.

L'intelligence de charge de travail comble le fossé entre les plateformes cloud et les charges de travail, améliorant la performance.

Une nouvelle méthode détecte les courses de données avec une précision améliorée et peu de surcharge.

Cet outil améliore la conversion de code en Rust, en se concentrant sur la sécurité et la lisibilité.

Cet article parle des avancées de PyLaia en matière de reconnaissance de texte en utilisant des modèles de langue.

Un aperçu des menaces à la sécurité posées par les LLMs de code ajustés aux instructions.

Ethraid aide les chercheurs à étudier des compagnons d'étoiles lointains en utilisant des données limitées.

SUGAR simplifie l'algèbre géométrique pour les ingénieurs et les mathématiciens en utilisant Matlab.

De nouveaux composants améliorent l'efficacité de la mémoire et la vitesse de traitement dans la génération 3D.

Apprends à déterminer quand les programmes qui utilisent le hasard vont arrêter de tourner.

Un aperçu de comment on compare et analyse les comportements des systèmes en utilisant différentes techniques.

Cet article explore les biais dans les modèles de génération de code à travers différentes langues.

Évaluer la fiabilité des résumés produits par l'IA pour améliorer la maintenance des logiciels.

Un aperçu des hallucinations de code dans les LLM et leur impact sur le développement logiciel.

De nouvelles métriques visent à améliorer la sécurité et la justesse du code avec des LLM.