Articoli più recenti per Sviluppo Software

Esaminando i fattori che portano a scarsa produzione nei progetti open source.

Un nuovo sistema migliora l'efficienza e riduce i ritardi nella gestione dei compiti del modello linguistico.

Un nuovo strumento valuta la capacità di Syzbot di trovare bug nel kernel di Linux.

Migliorare la sicurezza del software identificando difetti di codifica ricorrenti nei progetti open-source.

Nuovi sistemi di auto-guarigione imparano a riprendersi dai guasti senza aiuto umano.

Un nuovo framework migliora le prestazioni della GPU per i compiti di deep learning.

Un workshop mette in evidenza le sfide principali e le soluzioni nella ingegneria del software per la robotica.

Uno sguardo a come il significato influisce sulla progettazione e valutazione dei linguaggi di programmazione.

Un nuovo dataset migliora il rilevamento delle vulnerabilità nel software open-source per una sicurezza migliore.

Combinare simulazione e analisi degli eventi per la validazione del software.

TroVE semplifica la creazione di funzioni per i compiti di programmazione, migliorando precisione ed efficienza.

MORPH adatta i sistemi di rilevamento malware alle minacce in evoluzione con meno input manuale.

Questo articolo parla del ruolo del SATD nella sicurezza del software.

Scopri il ruolo dei tipi di intersezione monadici nel migliorare i sistemi di tipi dei linguaggi di programmazione.

Uno studio sui ruoli degli sviluppatori pagati e dei volontari nei progetti Rust.

Uno sguardo a come migliorare ROOT con SYCL per un'analisi dei dati efficiente.

Un nuovo metodo semplifica la dimostrazione delle proprietà dei programmi usando la logica di non realizzabilità.

Uno studio su come migliorare gli strumenti automatizzati per semplificare il codice nello sviluppo software.

Un nuovo approccio per analizzare in modo sicuro la complessità dei programmi tramite il rilascio controllato dei dati.

Scopri come i tipi di sessione migliorano i protocolli di comunicazione nello sviluppo software.

Un nuovo metodo unisce AI e analisi statica per suggerimenti di codice migliori.

Scopri come gli strumenti di analisi statica come C Analyzer migliorano l'affidabilità del software.

OMP GPT è specializzato nel generare pragmi OpenMP per una codifica efficiente nell'HPC.

Uno studio sull'impatto dei LLM nei corsi di ingegneria del software all'università.

Presentiamo SERL: un nuovo framework per compiti di apprendimento robotico efficienti.

MobFuzz migliora il fuzz testing con l'ottimizzazione multi-obiettivo per una sicurezza software migliore.

Questo metodo migliora l'accuratezza del codice grazie all'apprendimento di funzioni riutilizzabili e al refactoring.

Scopri come ACADL semplifica la modellazione per gli acceleratori hardware per AI.

Un nuovo modello supporta una comunicazione efficiente nella programmazione coreografica.

SPViz offre strumenti di visualizzazione personalizzati per capire meglio i progetti software.

Questo lavoro esamina come gli LLM migliorano la rilevazione delle vulnerabilità nel codice Java.

ACAI semplifica la gestione dei dati e l'esecuzione dei lavori per i professionisti del machine learning.

Questo documento esamina le iniezioni di prompt e le loro implicazioni per i modelli di intelligenza artificiale.

PSSR2 migliora la qualità delle immagini e l'accessibilità per la ricerca in microscopia.

Impara a creare sistemi che danno priorità a un design user-friendly fin dall'inizio.

Un nuovo metodo migliora la generazione di test usando modelli di linguaggio grandi per una copertura migliore.

Rendere il testing del software coinvolgente per gli studenti attraverso la gamification.

Questo articolo esplora metodi per usare GPT-3.5 per automatizzare le recensioni di codice in modo efficace.

Combinare LLM e verifica formale per migliorare l'accuratezza e l'efficienza nella programmazione.

Uno strumento che combina Selenium e JUnit 5 per semplificare i test delle applicazioni web.