Derniers articles pour Développement de logiciels

Un nouvel outil simplifie la création de surfaces d'énergie potentielle pour la recherche en chimie.

Une nouvelle approche pour améliorer l'évaluation des tâches de codage pour les modèles de langage.

Une proposition pour améliorer l'efficacité de Hyperledger Fabric dans la gestion des transactions conflictuelles.

WebApp1K teste la capacité de codage des modèles de langue pour les applications web.

Cette étude examine comment les bugs sont gérés dans les projets de logiciels réseau.

Une nouvelle méthode prédit les bugs dans les logiciels en analysant des données passées.

Créer un cadre unifié pour les corps finis améliore la vérification des logiciels cryptographiques.

Un aperçu de la façon dont les développeurs perçoivent et gèrent la dette technique dans les projets logiciels.

Examiner les menaces posées par les agents de modèle de langage autonomes et leurs faiblesses.

SAM2 améliore l'analyse d'images médicales, rendant les tâches plus précises et accessibles pour les docs.

Apprends à créer et gérer des galeries d'exemples pour améliorer l'engagement des utilisateurs.

Cette étude classe les vulnérabilités dans les microservices pour améliorer les mesures de sécurité.

OmniParser améliore la capacité de l'IA à interagir avec les interfaces utilisateur.

Cet article examine comment les retours influencent les pratiques d'apprentissage automatique dans les notebooks Jupyter.

Une étude comparant le code généré par des LLM à des solutions écrites par des humains sur Leetcode.

La conformité continue est super importante pour le développement logiciel moderne et la sécurité.

C3 améliore la clarté des entrées de tests automatisés pour une meilleure compréhension du code.

Cet article parle d'une méthode pour créer automatiquement des descriptions de PR.

Une nouvelle méthode pour tester des programmes quantiques améliore la fiabilité et l'efficacité.

Cette étude examine comment ChatGPT peut améliorer les pratiques de sécurité des logiciels.

L'Observatoire SKA développe un outil avancé pour gérer les observations des télescopes.

Un aperçu des outils logiciels qui soutiennent les observations astronomiques de SKAO.

Cet article examine les défauts centrés sur l'humain dans les logiciels et propose des améliorations pour les signalements.

Une méthode pour vérifier les langages de programmation pour une meilleure fiabilité et correction.

Une nouvelle méthode améliore la vitesse et l'efficacité de la correction de bugs dans le développement logiciel.

Explorer des systèmes adaptatifs pour gérer les erreurs d'exécution en utilisant des modèles de langage large.

De nouvelles méthodes visent à améliorer la connexion entre le code et les modèles visuels dans les logiciels CAO.

Apprends comment les messages d'assertion améliorent les tests de logiciel et le dépannage.

Un nouvel outil améliore l'édition de code en recommandant des changements pertinents.

Présentation d'un modèle pour clarifier les ambiguïtés dans les images de contours binaires.

L'analyse statique du code aide les développeurs à repérer les problèmes tôt dans le développement de logiciels.

Une nouvelle méthode de point de contrôle dans l'MPI améliore l'efficacité et facilite son utilisation.

Cet article parle de nouvelles méthodes pour automatiser l'intégration et la configuration des logiciels SDV.

Dareplane propose des solutions pour des expériences efficaces de stimulation profonde du cerveau adaptative.

TESSilator aide les chercheurs à analyser la rotation des étoiles en utilisant les données TESS.

ReDel aide les agents IA à bosser ensemble sur des tâches complexes de manière efficace.

Un nouvel outil améliore la modernisation des systèmes mainframe critiques et du code COBOL.

Apprends comment les tests de données améliorent la performance des modèles d'apprentissage machine.

Un nouveau cadre met l'accent sur la confiance dans l'évaluation des risques logiciels.

Cet article examine les risques de sécurité lors du choix de paquets Java, offrant des conseils aux développeurs.