Latte semplifica il tracciamento dei riferimenti agli oggetti, riducendo la complessità per gli sviluppatori.
― 4 leggere min
Informatica - Ingegneria del software
RSSAffrontare problemi comuni nei test di deep learning per migliorare l'affidabilità dei modelli.
― 5 leggere min
Presentiamo un metodo per creare set di dati sui bug precisi e diversificati per migliorare il software.
― 6 leggere min
Questo studio analizza i problemi nel trasferire le librerie ML tra diversi tipi di hardware.
― 6 leggere min
Un tool per aiutare i programmatori a capire i messaggi d'errore complessi di Rust.
― 6 leggere min
Un nuovo approccio migliora la navigazione del codice per le specifiche delle lingue software online.
― 6 leggere min
CRIL combina reversibilità e concorrenza per una programmazione efficiente.
― 5 leggere min
Timed Rebeca modella sistemi asincroni con gestione dei messaggi sensibile al tempo.
― 5 leggere min
Un nuovo sistema migliora la diagnosi dei guasti nei servizi cloud usando dati.
― 5 leggere min
Un nuovo metodo migliora i suggerimenti API per supportare lo sviluppo software.
― 8 leggere min
Un nuovo modo per sistemare gli errori di compilazione con poche modifiche al codice.
― 7 leggere min
Scopri come le varianti di programma possono migliorare la sicurezza di WebAssembly contro le vulnerabilità.
― 5 leggere min
Un nuovo metodo migliora la generazione automatica dei test concentrandosi su obiettivi chiave di copertura.
― 6 leggere min
Un nuovo framework mira a migliorare la raccolta e la comprensione delle vulnerabilità del software.
― 6 leggere min
Valutare l'efficacia di ChatGPT nel parsing dei log, nell'analisi e nei compiti di sintesi.
― 8 leggere min
Questo studio esamina quanto bene i modelli di codice comprendono i nomi e l'uso delle API.
― 9 leggere min
Scopri come i LLM semplificano la creazione e la valutazione del codice Verilog.
― 7 leggere min
Nuovo metodo punta a ridurre i tempi di compilazione nei compiti di calcolo quantistico.
― 6 leggere min
Scopri come ChatGPT può semplificare il processo di revisione del codice nello sviluppo software.
― 8 leggere min
Questo articolo parla di nuovi metodi per verificare la sicurezza dei dati nei sistemi concorrenti.
― 6 leggere min
Usare grandi modelli linguistici per semplificare i processi di verifica del design hardware.
― 5 leggere min
Un approccio innovativo per risolvere i bug nei software usando i modelli di linguaggio per la selezione del codice donatore.
― 8 leggere min
Il metodo EditAS migliora la generazione delle affermazioni per risultati di test unitarî migliori.
― 5 leggere min
Scopri come l'Integrazione Continua migliora la qualità del software e la collaborazione nel team.
― 6 leggere min
Testaro semplifica il test di accessibilità unendo vari strumenti in un processo fluido.
― 6 leggere min
EGFE migliora il processo di organizzazione degli elementi di design UI per una qualità del codice migliore.
― 7 leggere min
Un approccio mirato per identificare velocemente i bug software tramite test specifici.
― 6 leggere min
LogShrink offre una compressione migliore per il costoso stoccaggio dei dati di log.
― 6 leggere min
Una nuova libreria per creare e gestire dataset di labirinti nel machine learning.
― 7 leggere min
Esaminando come i requisiti di alta qualità influenzano il successo dei progetti software.
― 9 leggere min
Un nuovo approccio migliora l'addestramento dei modelli surrogati nello sviluppo software.
― 6 leggere min
Esaminando il legame tra pratiche di architettura software e sforzi di sostenibilità.
― 7 leggere min
Un approccio innovativo per prevedere i ritardi nei progetti agili usando dati in tempo reale.
― 8 leggere min
Capire come il debito tecnico influisce sulle startup software e sui loro processi di sviluppo.
― 6 leggere min
Gli SBOM sono fondamentali per tenere traccia dei componenti software e migliorare la sicurezza.
― 4 leggere min
Trusta e TDT migliorano il processo di creazione di casi di garanzia per la sicurezza dei sistemi.
― 7 leggere min
Una nuova architettura MLOps integra spiegazioni per migliorare la fiducia e l'efficienza nei modelli ML.
― 12 leggere min
Uno sguardo alle performance di GPT-4 e GPT-3.5 nei compiti di programmazione.
― 5 leggere min
Immergiti negli elementi unici dell'ingegneria dei requisiti per il software quantistico.
― 7 leggere min
I sistemi intelligenti devono evolversi per gestire l'incertezza in ambienti in tempo reale.
― 6 leggere min