Articoli più recenti per Sviluppo Software

Un nuovo sistema per valutare le vulnerabilità del software a diversi livelli.

Usare modelli linguistici per migliorare l'efficienza e l'accuratezza della riparazione automatica dei programmi.

Un nuovo metodo crea sistemi di dialogo utilizzando dati non etichettati e API.

La competizione CHC ha messo in mostra i progressi nei solver e le loro applicazioni nella verifica dei programmi.

Un nuovo sistema combina recupero e classificazione per ridurre i report di bug duplicati.

Questo studio esplora come l'IA può migliorare le riunioni Agile alla Posta Austriaca.

Un nuovo sistema migliora l'esperienza utente regolando la consegna dei token in tempo reale.

Esaminando strategie per migliorare l'affidabilità della comunicazione tra client e server.

Una nuova prospettiva sui modelli di memoria per un'ottimizzazione migliore nella programmazione.

EasyLAN semplifica lo sviluppo di reti LLM collaborative per compiti complessi.

Il ragionamento controfattuale aiuta a capire meglio le vulnerabilità nel codice.

Un nuovo metodo per il watermarking efficace nel codice generato dall'AI.

Un nuovo metodo open-source accelera i compiti di routing per gli FPGA moderni.

Questo studio esplora l'impatto dei code clones sui framework di deep learning e sulla qualità del software.

Esaminando le sfide che i professionisti del software non vedenti e con bassa visione affrontano nella crescita professionale.

Esplorare metodi per valutare l'affidabilità dei programmi su chip piccoli e veloci.

Esplora trasformazioni per migliorare la qualità dei test di lingua naturale.

Un nuovo metodo punta ad automatizzare il testing in ambienti di compilazione che cambiano.

Questo articolo parla di un metodo per gestire i termini tipizzati nella programmazione.

Un nuovo sistema migliora la pianificazione delle funzioni e la gestione delle risorse nel computing senza server.

Analizzare il comportamento e la terminazione dei cicli di vincoli lineari nella programmazione.

Un nuovo sistema semplifica le attività di design 3D in Blender usando modelli AI avanzati.

Semplificare l'analisi di grandi dataset in proteomica e interactomica con ThunderBolt.

Un nuovo framework migliora i metodi di verifica dei compilatori per avere maggiore precisione.

Un framework unificato per migliorare i processi di debug del software.

ALock semplifica la sincronizzazione in RDMA, aumentando le prestazioni e riducendo la latenza.

Una panoramica dei metodi di test per le librerie di deep learning e la loro importanza.

Uno studio rivela vulnerabilità nel codice prodotto da modelli di linguaggio grandi.

Scopri come il model-checking HyperLTL migliora la sicurezza dei sistemi software.

Tenspiler semplifica l'adattamento del codice, permettendo agli sviluppatori di stare al passo con i cambiamenti tecnologici.

Scopri come la logica dinamica aiuta a verificare il comportamento dei programmi in modo efficace.

Un nuovo tipo di sistema migliora la generazione di C++ dalle specifiche di Isabelle/HOL, aumentando l'accuratezza.

Uno studio sull'efficacia degli strumenti SAST per i contratti intelligenti.

Converter semplifica il deployment delle applicazioni su ambienti cloud e edge.

Un nuovo framework per valutare le prestazioni dei sistemi RAG.

L'intelligenza del carico di lavoro colma il divario tra le piattaforme cloud e i carichi di lavoro, migliorando le prestazioni.

Un nuovo metodo rileva le race condition con maggiore precisione e basso overhead.

Questo strumento migliora la conversione del codice in Rust, concentrandosi sulla sicurezza e sulla leggibilità.

Questo articolo parla dei progressi di PyLaia nel riconoscimento del testo usando modelli linguistici.

Uno sguardo alle minacce alla sicurezza poste dai Code LLMs ottimizzati per le istruzioni.