Derniers articles pour Développement de logiciels

Explore des stratégies pour garantir la qualité des logiciels dans des environnements de développement collaboratif ouvert.

De nouvelles techniques améliorent la performance des requêtes de graphes de navigation, accélérant les évaluations.

Une nouvelle méthode améliore la détection des vulnérabilités microarchitecturales dans les systèmes informatiques.

Une étude évaluant la performance et la précision du format posit par rapport à l'IEEE 754.

Un aperçu des tests métamorphiques et de leur rôle dans la qualité du logiciel.

GSDO optimise des problèmes complexes sans avoir besoin de dérivées.

Découvre comment Qiskit aide la recherche et les applications en informatique quantique.

M2CVD améliore la détection des vulnérabilités logicielles grâce à des approches de modèle collaboratif.

Une nouvelle approche améliore la détection des vulnérabilités de sécurité logicielle en utilisant des modèles avancés.

Apprends comment le débogage réversible améliore le suivi des erreurs dans la programmation Erlang.

Un nouveau benchmark pour évaluer les LLMs pour les tâches de programmation Java.

Une nouvelle méthode améliore les modèles de langage de code grâce à des cas de test efficaces et à l'apprentissage des préférences.

Ce papier présente une méthode pour assurer la qualité du code généré par les LLM.

Cet article explore une nouvelle méthode pour améliorer l'efficacité de la récupération des instructions.

Les avancées en informatique quantique nécessitent des tests et débogages efficaces pour un logiciel fiable.

Les nombres Takum offrent une meilleure option pour l'arithmétique des ordinateurs, équilibrant l'efficacité des petits et des grands nombres.

Une méthode rapide pour l'édition visuelle personnalisée utilisant des techniques d'auto-attention.

MARVeLus vérifie et met en œuvre des systèmes cyber-physiques plus sûrs.

LogBatcher simplifie l'analyse des logs en utilisant de grands modèles de langage sans formation préalable.

Un nouvel outil améliore la gestion des logiciels en temps réel pour des réponses immédiates.

Apprends comment la modélisation écologique aide à relever les défis environnementaux.

Cet article parle des risques de hallucinations de paquets dans les modèles de génération de code.

Un nouvel algorithme améliore l'efficacité des requêtes de jointure dans les bases de données.

Une nouvelle méthode améliore les LLMs pour générer du code UI de haute qualité.

Utiliser des modèles de langage pour améliorer la détection de bugs dans les logiciels et l'efficacité des tests.

Une nouvelle méthode améliore la précision dans la conversion des déclarations informelles en langues formelles.

Nouveau cadre améliore la complétion de code en capturant les connaissances spécifiques au dépôt.

Une nouvelle architecture améliore la gestion des ressources dans les systèmes de recommandation.

Un nouveau package R pour la régression fonctionnelle semi-paramétrique et l'analyse de données.

Un aperçu des vulnérabilités et des solutions pour les systèmes d'apprentissage profond.

Combiner le fuzzing et les modèles de langage pour améliorer l'efficacité des tests logiciels.

DafnyBench teste des outils de vérification de logiciels, ouvrant la voie à une programmation fiable.

Un nouvel outil améliore l'analyse statique avec des graphiques simplifiés et de l'apprentissage automatique.

Une nouvelle approche améliore la fiabilité des tests pour les bibliothèques d'apprentissage profond.

Nouveau logiciel améliore le suivi et l'analyse des comportements et de l'activité des C. elegans.

AlabOS simplifie les flux de travail pour les labos automatiques, rendant la recherche de matériaux plus efficace.

Une approche bilingue améliore la précision tout en gardant la rapidité en programmation.

Les grands modèles de langage améliorent les tests différentiels dans le développement logiciel.

Explore comment l'IA transforme les pratiques et les rôles en ingénierie logicielle.

CamTrol permet un contrôle facile du mouvement de la caméra dans les vidéos générées sans avoir besoin d'une formation poussée.