Informatica - Ingegneria del software

Introducendo un benchmark per verificare le reti neurali scritte in C semplice.

Esaminando le sfide uniche nei test delle applicazioni di intelligenza artificiale generativa.

Capire il collegamento organizzativo può migliorare il successo dei progetti microservizi.

Un nuovo approccio per migliorare l'efficienza della navigazione marittima.

Un nuovo algoritmo semplifica la rappresentazione R1CS per una maggiore chiarezza ed efficienza dei ZKP.

Scopri un nuovo metodo per identificare bug nel calcolo quantistico.

Esplorare come l'edge computing migliori i siti web statici e il loro hosting.

Utilizzare gemelli digitali per migliorare la rilevazione delle anomalie nella gestione del controllo dei treni.

Un nuovo approccio per migliorare l'efficienza e l'efficacia del testing delle API REST.

Un metodo più veloce per generare suite di test complete nello sviluppo software.

Sottolineando l'importanza di una maggiore sicurezza in tutte le librerie software.

Scopri il design innovativo HITA per migliorare il testing delle applicazioni IoT in sanità.

Questo articolo parla dei metodi per mantenere l'ordine dei messaggi in Kafka.

Un nuovo modello migliora il modo in cui lavoriamo con il codice usando rappresentazioni intermedie.

La localizzazione dei guasti basata su mutazioni offre un nuovo modo per trovare bug nei DNN.

Questo articolo confronta Llama-2 e GPT-3 nella generazione di codice HPC.

Un nuovo approccio aumenta la fiducia degli ingegneri nelle previsioni dell'IA durante gli incidenti.

Uno sguardo su come i programmatori interagiscono con GitHub Copilot e le sue funzionalità.

Latte semplifica il tracciamento dei riferimenti agli oggetti, riducendo la complessità per gli sviluppatori.

Affrontare problemi comuni nei test di deep learning per migliorare l'affidabilità dei modelli.

Presentiamo un metodo per creare set di dati sui bug precisi e diversificati per migliorare il software.

Questo studio analizza i problemi nel trasferire le librerie ML tra diversi tipi di hardware.

Un tool per aiutare i programmatori a capire i messaggi d'errore complessi di Rust.

Un nuovo approccio migliora la navigazione del codice per le specifiche delle lingue software online.

CRIL combina reversibilità e concorrenza per una programmazione efficiente.

Timed Rebeca modella sistemi asincroni con gestione dei messaggi sensibile al tempo.

Un nuovo sistema migliora la diagnosi dei guasti nei servizi cloud usando dati.

Un nuovo metodo migliora i suggerimenti API per supportare lo sviluppo software.

Un nuovo modo per sistemare gli errori di compilazione con poche modifiche al codice.

Scopri come le varianti di programma possono migliorare la sicurezza di WebAssembly contro le vulnerabilità.

Un nuovo metodo migliora la generazione automatica dei test concentrandosi su obiettivi chiave di copertura.

Un nuovo framework mira a migliorare la raccolta e la comprensione delle vulnerabilità del software.

Valutare l'efficacia di ChatGPT nel parsing dei log, nell'analisi e nei compiti di sintesi.

Questo studio esamina quanto bene i modelli di codice comprendono i nomi e l'uso delle API.

Scopri come i LLM semplificano la creazione e la valutazione del codice Verilog.

Nuovo metodo punta a ridurre i tempi di compilazione nei compiti di calcolo quantistico.

Scopri come ChatGPT può semplificare il processo di revisione del codice nello sviluppo software.

Questo articolo parla di nuovi metodi per verificare la sicurezza dei dati nei sistemi concorrenti.

Usare grandi modelli linguistici per semplificare i processi di verifica del design hardware.

Un approccio innovativo per risolvere i bug nei software usando i modelli di linguaggio per la selezione del codice donatore.