Informatique - Génie logiciel

Avec l'avancée de la technologie, la sécurité des logiciels fait face à de nouveaux défis et opportunités.

Cet article évalue à quel point les LLMs génèrent des cas de test pour des programmes Java.

Examiner l'impact et les leçons de l'attaque cybernétique DarkSeoul sur la Corée du Sud.

Un nouvel outil pour améliorer la performance de la simulation de circuits quantiques.

Cette étude traite des déchets dans le développement logiciel et propose des stratégies de mesure.

RepairBench établit des normes pour comparer les modèles d'IA dans la réparation des bugs logiciels.

Découvrez comment le développement malléable transforme la compréhension des logiciels avec des outils personnalisés.

Cette étude montre comment les pubs rendent l'accès en ligne plus compliqué pour les utilisateurs avec des handicaps.

Un nouveau système améliore la précision et l'efficacité de la traduction de code en utilisant des agents spécialisés.

CRScore propose une méthode d'évaluation innovante pour juger les commentaires de relecture de code sans références humaines.

Une nouvelle méthode améliore la détection des malwares tout en résistant aux attaques adversariales.

Une nouvelle approche pour améliorer la détection des anomalies basée sur les logs en utilisant des modèles de transformateurs.

Présentation d'un langage de programmation axé sur la performance fiable des applications et la gestion de la mémoire.

Cet article parle de la compréhension du code Java décompilé et de son importance.

Explorer le lien entre les traits de personnalité et l'efficacité de la génération de code avec les LLMs.

Explore comment la synthèse de données améliore les performances et l'entraînement des modèles de codage.

Cette étude examine comment les LLM aident les devs à comprendre les algorithmes quantiques de manière efficace.

VIEWER simplifie les données des patients pour les pros de la santé mentale.

DemoCraft améliore la génération de code à partir du langage naturel en utilisant une sélection d'exemples intelligente.

Des recherches montrent que les LLM peuvent générer du code synthétique utile pour l'enseignement.

L'espoir est essentiel pour la résilience, la motivation et une bonne santé mentale.

L'IA change la donne pour gérer les vulnérabilités logicielles de manière efficace.

Un aperçu des méthodes pour détecter des bugs dans les logiciels quantiques.

Une nouvelle méthode améliore l'efficacité de la vérification des designs de puces électroniques.

Enquête sur le rôle des LLM dans la génération de spécifications de logiciels pour la vérification.

Un aperçu de WASM et de l'importance de la décompilation dans la sécurité web.

Évaluer la pertinence de l'ingénierie des invites avec les nouveaux modèles de raisonnement.

Combiner l'IA avec Dafny pour simplifier les processus de vérification logicielle.

Les cas d'assurance garantissent la fiabilité logicielle, la sécurité et la clarté pour l'utilisateur.

Un aperçu des difficultés pour identifier le code généré par l'IA et les améliorations à venir.

Une nouvelle façon de planifier des vols de quadrirotors en dessinant simplement des trajets.

Une initiative dirigée par des étudiants qui offre une expérience pratique en logiciel pour les futurs ingénieurs.

Examiner l'utilisation d'énergie des assistants de codage comme GitHub Copilot.

Explore comment la somme en virgule flottante affecte la précision dans les calculs.

Les QNN pourraient changer la manière dont les systèmes de données sont testés et gérés dans le secteur de la santé.

Mint capture et gère les données de traçage efficacement pour de meilleures perspectives.

Des connexions faibles peuvent stimuler l'innovation dans les projets logiciels.

Un aperçu du potentiel des camps de codage pour améliorer l'apprentissage et les connexions de carrière.

Une nouvelle méthode améliore la détection des vulnérabilités dans les contrats intelligents.

Apprends comment la détection d'anomalies protège les données sensibles des menaces.