Articoli più recenti per Sviluppo 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.

Ethraid aiuta i ricercatori a studiare compagni stellari distanti usando dati limitati.

SUGAR semplifica l'algebra geometrica per ingegneri e matematici usando Matlab.

Nuovi componenti migliorano l'efficienza della memoria e la velocità di elaborazione nella generazione 3D.

Impara a capire quando i programmi che usano la casualità smetteranno di funzionare.

Uno sguardo su come confrontiamo e analizziamo i comportamenti dei sistemi usando diverse tecniche.

Questo articolo esplora il bias nei modelli di generazione di codice in diverse lingue.

Valutare l'affidabilità dei riassunti prodotti dall'IA per migliorare la manutenzione del software.

Una panoramica delle allucinazioni di codice nei LLM e il loro impatto sullo sviluppo software.

Nuove metriche mirano a migliorare la sicurezza e la correttezza del codice con gli LLM.

Berrify rinforza la sicurezza di BPF contro le vulnerabilità Spectre senza compromettere le prestazioni.

WorkBench testa la capacità degli agenti di svolgere compiti d'ufficio realistici con un metodo di valutazione unico.

Uno studio sull'uso di Bazel per build CI più veloci.

Scopri come le stack trace possono migliorare gli sforzi per risolvere i bug nello sviluppo software.

Esplora i vantaggi della nuova unità di calcolo MI300A di AMD per applicazioni ad alte prestazioni.