Derniers articles pour Développement de logiciels

DroneReqValidator automatise la simulation réaliste pour des tests de drones plus sûrs.

CLAA améliore la catégorisation des revues d'API pour de meilleures infos pour les devs.

Enquête sur l'utilisation de ChatGPT pour évaluer des questions ouvertes dans la formation en logiciel.

Un aperçu des types de référence univalents et de leurs implications pour les langages de programmation.

Faire face aux menaces cybernétiques croissantes sur les chaînes d'approvisionnement de logiciels grâce à des efforts collaboratifs et des meilleures pratiques.

Une nouvelle méthode améliore la précision pour identifier les vulnérabilités des logiciels.

Les E-graphs simplifient les processus de vérification pour les circuits de chemin de données, améliorant ainsi l'efficacité et la précision.

MetaGPT améliore la collaboration entre les agents pour résoudre les tâches plus efficacement.

Une nouvelle méthode se concentre sur les comportements du code binaire pour une meilleure détection de similarité.

Apprends sur la terminaison des programmes et son importance dans la programmation concurrente.

Un système pour équilibrer les charges de travail entre les acteurs pour une meilleure gestion des données.

Découvrez le typage de sensibilité graduelle et son rôle dans l'amélioration de la sécurité des programmes.

Un nouveau package Python simplifie le sous-échantillonnage de gros ensembles de données temporelles pour une meilleure visualisation.

Une étude sur les vulnérabilités des appli intégrées avec LLM face aux attaques par injection SQL.

URET propose une solution flexible contre les attaques adversariales sur différents types de données.

Leaven simplifie l'échantillonnage de surface et de volume pour les formes 3D dans les simulations.

ScalOTA améliore les mises à jour OTA pour les véhicules en utilisant des stations de mise à jour pour des téléchargements plus rapides et sécurisés.

Le poisoning de données dans l'IA peut amener à générer du code vulnérable, ce qui pose des menaces de sécurité.

SoftFlow aide à repérer les problèmes de sécurité dans la conception des appareils électroniques, protégeant les données sensibles.

TIPICAL améliore l'inférence de type, en s'attaquant aux défis de la programmation avec une précision améliorée.

La technologie de suivi vidéo aide les chercheurs à observer le comportement des animaux sans les déranger.

MASC propose une nouvelle façon de tester efficacement les détecteurs de mauvaise utilisation des API crypto.

Présentation d'une logique de programme pour améliorer le raisonnement pour des logiciels d'état de niveau supérieur.

Une nouvelle méthode pour évaluer avec précision les similarités de code binaire.

Cet article parle des défis de la sécurité mémoire et d'une nouvelle solution : le marquage des pointeurs de données.

LibPreemptible améliore la planification dans les appli cloud, réduisant les délais et boostant les performances.

Enquête sur la pratique de se concentrer sur les développeurs dans les microservices open-source.

Feather aide les développeurs à partager des modèles d'apprentissage automatique facilement grâce à des interfaces conviviales.

Examen de la nature imprévisible de la génération de code avec ChatGPT.

Examiner les limites des LLMs dans la traduction de code et des techniques pour s'améliorer.

Un nouveau cadre améliore la protection des binaires WebAssembly contre l'ingénierie inverse.

Une nouvelle architecture vise à améliorer la gestion des ressources sur les dispositifs cloud et edge.

LARCH simplifie la génération de readme en utilisant la représentation du code et des modèles de langue.

Ce travail présente une méthode pour améliorer la compréhension du code dans les LLMs en utilisant la symétrie.

Une nouvelle méthode améliore la précision des couleurs en photo sous différentes conditions de lumière.

Une nouvelle méthode améliore la précision pour transformer l'audio de piano en partitions.

De nouvelles méthodes améliorent la compréhension des modèles de langage utilisés pour les tâches de codage.

De nouvelles méthodes pour surveiller des systèmes complexes avec des transducteurs de préfixe améliorent la vérification en temps réel.

Une nouvelle méthode pour réduire les coûts dans les services linguistiques de machine learning.

Une étude sur l'état actuel du développement de produits ML open-source.