Derniers articles pour Développement de logiciels

Un nouveau cadre s'attaque à l'équité dans les réseaux de neurones profonds pendant l'élagage du modèle.

Un nouveau cadre aide les non-experts à utiliser l'informatique quantique pour résoudre des problèmes d'optimisation.

Un aperçu détaillé de la façon dont les LLM de code gèrent les transformations dans le code.

Un nouveau système améliore le service des modèles ML en combinant précision et montée en charge matérielle.

ESBMC-Python aide à vérifier la correctitude du code Python en utilisant des annotations de type et un modèle de vérification bornée.

Une nouvelle méthode améliore la précision de génération de code HDL en utilisant des LLM.

Découvrez comment les CFDGs améliorent les tests logiciels en clarifiant les chemins de décision.

Un aperçu des classements des modèles de fondation et de leurs problèmes d'évaluation.

Mettre à jour les systèmes anciens est super important pour l'efficacité et la sécurité des entreprises.

Un outil rapide vérifie les modèles BPMN pour les erreurs, garantissant des processus d'affaires fluides.

Cet article présente un cadre pour la génération automatisée de bancs d'essai en utilisant des LLM.

Un nouveau cadre garantit que les optimisations du compilateur préservent la justesse des programmes.

Explore le rôle des arbres binaires de recherche dans l'organisation des données et la performance.

Synbciatr corrige automatiquement les cas de test obsolètes dans le développement logiciel.

BM25S offre un score rapide des documents pour une récupération d'infos efficace.

Un regard sur le code inaccessible et son impact sur l'efficacité de la programmation.

Cette étude explore le rôle des couches feed-forward dans les modèles de langage de code.

Les dernières fonctionnalités de FeynGrav améliorent la recherche en gravité quantique et boostent l'efficacité des calculs.

Explorer les problèmes d'hallucination de code dans les modèles de programmation AI.

Cette étude explore comment des éléments de jeu peuvent inciter les étudiants à contribuer aux logiciels open source.

Découvre comment la recherche-action améliore les pratiques en ingénierie logicielle grâce à la collaboration et la réflexion.

Explore les dernières fonctionnalités et applications du package ipie pour AFQMC.

Apprends comment l'ethnographie améliore la compréhension des pratiques en ingénierie logicielle.

MindSpore Quantum simplifie le développement et la simulation d'algorithmes quantiques.

Examine les défis de sécurité avec les logiciels open-source, surtout dans le langage de programmation Go.

Une nouvelle méthode pour la factorisation stable des fonctions matricielles non singulières en utilisant ExactMPF.

Un aperçu des méthodes de préchargement pour améliorer l'efficacité des processeurs de paquets.

Une analyse des réponses des développeurs à la vulnérabilité Log4j et de leurs pratiques.

Explore des méthodes pour améliorer l'efficacité et la précision des tests logiciels.

AFPNet propose une détection améliorée des vulnérabilités dans les contrats intelligents grâce à des techniques d'apprentissage profond.

Une nouvelle méthode améliore l'évaluation de la précision de la génération de code SQL.

Explorer la programmation chorégraphique avec des effets algébriques pour améliorer le développement d'applications distribuées.

Une étude sur la façon de combiner efficacement les mises à jour pour les modèles de langue.

Apprends comment les univers de types influencent l'allocation de mémoire dans les langages de programmation.

Un aperçu des processus linéaires et de leur importance dans la programmation et les systèmes de communication.

Un aperçu des frameworks modulaires dans le développement d'outils d'analyse binaire.

Des métriques de performance efficaces sont essentielles pour que les équipes agiles s'améliorent et s'adaptent.

Un nouveau design de langage vise à améliorer le raisonnement et la clarté dans le développement logiciel.

Une nouvelle approche pour améliorer la sécurité dans les protocoles de finance décentralisée.

Explorer des techniques de masquage de grammaire pour améliorer la précision de génération de code.