Derniers articles pour Développement de logiciels

Un nouveau cadre pour détecter et réparer les vulnérabilités dans les contrats intelligents.

Cette étude examine à quel point les modèles de code comprennent les noms et l'utilisation des API.

Une nouvelle approche pour vérifier la justesse des programmes qui utilisent de l'aléa.

Une nouvelle méthode combine les TEE et les circuits brouillés pour de meilleures performances dans les tâches cloud.

Apprends comment les LLMs simplifient la création et l'évaluation de code Verilog.

ForSys propose une analyse non invasive des propriétés mécaniques des tissus biologiques.

Une nouvelle approche utilise l'apprentissage par renforcement pour s'attaquer aux problèmes de démarrage à froid dans l'informatique sans serveur.

Une théorie des types à deux niveaux relie les preuves logiques et la programmation pratique.

CartoonDiff simplifie la cartoonisation des images sans avoir besoin de modèles complexes ou d'entraînement.

Découvre comment ChatGPT peut simplifier le processus de révision de code dans le développement logiciel.

Explorer la logique de séparation dynamique pour une meilleure gestion de la mémoire en programmation.

COSI va explorer des rayons gamma inédits pour révéler des phénomènes cosmiques.

Cet article parle de nouvelles méthodes pour vérifier la sécurité des données dans les systèmes concurrents.

Un nouveau compilateur améliore les capacités du CGRA pour diverses applications logicielles.

Btor2MLIR propose une chaîne d'outils flexible pour une vérification matérielle efficace.

Découvrez comment nf-test améliore les tests pour les pipelines de calcul en bioinformatique.

QTOS simplifie la planification des mouvements pour les robots quadrupèdes, améliorant ainsi leurs performances.

Les aides de saturation de gym améliorent les provors dans la démonstration automatisée des théorèmes en utilisant l'apprentissage par renforcement.

Utiliser des modèles de langage avancés pour simplifier les processus de vérification de conception matérielle.

Cette étude passe en revue l'efficacité des outils logiciels pour l'annotation génomique.

Une nouvelle méthode pour corriger les bugs logiciels en utilisant des modèles de langage pour sélectionner le code source.

Présentation d'un cadre pour une meilleure isolation des applications et un partage efficace des ressources.

De nouvelles méthodes améliorent la communication dans les systèmes multi-agents grâce à des chorégraphies et des posets.

Un aperçu de comment la mémoïsation stochastique améliore la programmation probabiliste.

La méthode EditAS améliore la génération d'assertions pour de meilleurs résultats en tests unitaires.

Découvre comment l'intégration continue améliore la qualité des logiciels et la collaboration d'équipe.

Data Formulator simplifie la création de visualisations en automatisant la transformation des données.

De nouveaux outils améliorent l'analyse des grands graphes de propriété.

EGFE améliore le processus d'organisation des éléments de design UI pour une meilleure qualité de code.

Un aperçu des caractéristiques, défis et potentiel du continuum informatique pour les utilisateurs.

Ce papier parle de comment les LLM améliorent le développement des chatbots et l'interaction utilisateur.

Une approche ciblée pour identifier rapidement les bugs logiciels grâce à des tests ciblés.

Une nouvelle méthode de codage améliore la conception de mises en page pour les applis et les docs.

Le logiciel Redback aide les astronomes à analyser des événements cosmiques transitoires.

Une nouvelle bibliothèque pour créer et gérer des ensembles de données de labyrinthes en apprentissage machine.

RUEL améliore les suggestions d'articles en utilisant les journaux de navigateur Edge et des techniques avancées.

Examiner comment des exigences de haute qualité influencent le succès des projets logiciels.

Une nouvelle approche améliore l'entraînement des modèles de substitution dans le développement logiciel.

Examiner le lien entre les pratiques d'architecture logicielle et les efforts de durabilité.

Utiliser des GPU pour accélérer les simulations de réservoir peut améliorer l'efficacité et réduire les temps de calcul.