Derniers articles pour Développement de logiciels

MindOpt Tuner optimise la performance des logiciels numériques en automatisant les ajustements des hyperparamètres.

Ce cadre simplifie la définition de la théorie des types et améliore la vérification des types dans les langages de programmation.

ContractFix améliore la sécurité des contrats intelligents en automatisant la détection et le patch des vulnérabilités.

Une nouvelle méthode pour générer des programmes de test améliore la détection de bugs dans les compilateurs JIT.

Apprends comment les types de données extensibles améliorent la flexibilité et la sécurité en programmation.

Explorer les défis et les innovations dans les méthodes aux éléments finis non adaptées pour les EDP.

De nouvelles méthodes améliorent la performance des ensembles en apprentissage automatique automatisé.

Présentation d'un système pour mieux gérer et traiter des flux de données complexes.

Un aperçu de comment les nouveaux types de systèmes améliorent la gestion des ressources en programmation.

PLiNIO simplifie l'optimisation des réseaux de neurones profonds pour les appareils mobiles et edge.

Explorer les dilemmes éthiques d'utiliser des vers blancs contre les malwares.

Découvre comment les machines à états simplifient la conception des logiciels et améliorent la gestion des systèmes.

Cet article explore les menaces liées aux codes malveillants dans les paquets tiers.

PromptMagician aide les utilisateurs à créer des images à partir de textes facilement.

Les diagrammes de séparation causale simplifient la compréhension des relations de cause à effet dans les systèmes concurrents.

Un nouveau cadre améliore l'analyse des logs en utilisant des modèles de langage avancés pour une meilleure précision.

Un aperçu des méthodes modernes pour améliorer l'efficacité de la récupération de documents.

Avancées dans les algorithmes pour améliorer dynamiquement les structures d'arbres et de chaînes.

Examiner le besoin d'une vérification efficace dans des systèmes multi-agents complexes.

Ce papier met en avant les améliorations de la navigation robotique pour les environnements marins.

RobôCIn se prépare pour RoboCup 2023 avec de nouvelles stratégies et des avancées techniques.

Apprends comment la programmation probabiliste intègre l'incertitude en informatique et le rôle de l'exécution symbolique.

Cet article parle de l'importance de gérer les courses de données dans les logiciels concurrents.

Une étude comparant la qualité des réponses humaines et celles de l'IA en programmation.

Analyser comment différents programmes sont liés par l'alignement d'exécution et la vérification.

Un aperçu de l'impact d'AdjointDPM sur l'efficacité de l'IA générative.

VCT permet des changements d'image efficaces tout en préservant des détails essentiels.

Examiner le rôle de l'analytique logicielle dans l'informatique quantique.

Des éditeurs innovants simplifient le codage en améliorant l'interaction des utilisateurs avec les langages basés sur JSON.

Le refactoring en direct booste l'efficacité des devs et la qualité du code avec des suggestions en temps réel.

Apprends comment l'ingénierie des lignes de produits logiciels et la transplantation peuvent améliorer l'efficacité du développement.

Un regard approfondi sur les méthodes de test pour les moteurs de simulation physique.

Un nouveau cadre améliore la gestion d'état pour les fonctions réseau dans des environnements virtualisés.

Traitement des échecs des clients dans les systèmes de mémoire désagrégés via des index transactionnels.

La recherche se concentre sur l'importance de la stabilité des résultats dans les outils de neuroimagerie.

Cette étude explore le lien entre la Dette Technique et la sécurité dans les discussions sur le développement logiciel.

DEFTri automatise le tri des défauts, améliorant l'attribution des problèmes logiciels et l'efficacité.

Cet article examine les métriques clés pour évaluer la qualité du code dans les projets OSS.

eDCM PC aide les chercheurs à analyser comment différentes parties des systèmes communiquent.

Un nouvel outil cible les problèmes de qualité du code dans les applications cloud.