Informatica - Ingegneria del software

Questo articolo esplora il motivo per cui le aziende donano software AI alle comunità open source.

Con l'avanzare della tecnologia, la sicurezza del software affronta nuove sfide e opportunità.

Questo articolo valuta quanto bene i LLM generano casi di test per i programmi Java.

Esaminando l'impatto e le lezioni dell'attacco informatico DarkSeoul sulla Corea del Sud.

Un nuovo strumento per migliorare le prestazioni della simulazione dei circuiti quantistici.

Questo studio affronta gli sprechi nello sviluppo software e propone strategie per misurarli.

RepairBench stabilisce standard per confrontare modelli di intelligenza artificiale nella risoluzione di bug software.

Scopri come lo sviluppo modellabile trasforma la comprensione del software con strumenti personalizzati.

Questo studio mostra come le pubblicità ostacolano l'accessibilità online per gli utenti con disabilità.

Un nuovo sistema migliora l'accuratezza e l'efficienza della traduzione del codice usando agenti specializzati.

CRScore offre un metodo innovativo per valutare i commenti delle recensioni di codice senza riferimenti umani.

Un nuovo approccio migliora il rilevamento del malware e resiste agli attacchi avversari.

Un nuovo approccio per migliorare il rilevamento delle anomalie basato sui log usando modelli transformer.

Presentiamo un linguaggio di programmazione incentrato su prestazioni affidabili delle applicazioni e gestione della memoria.

Questo articolo parla della comprensibilità del codice Java decompilato e del suo importanza.

Esplorare il legame tra tratti della personalità ed efficacia nella generazione di codice usando LLM.

Scopri come la sintesi dei dati migliora le performance e l'allenamento dei modelli di codifica.

Questo studio esplora come i LLM aiutano i programmatori a capire meglio gli algoritmi quantistici.

VIEWER semplifica i dati dei pazienti per i professionisti della salute mentale.

DemoCraft migliora la generazione di codice da linguaggio naturale usando una selezione intelligente di esempi.

La ricerca dimostra che i LLM possono generare codice sintetico utile per insegnare.

La speranza è fondamentale per la resilienza, la motivazione e una buona salute mentale.

L'IA sta trasformando il modo in cui affrontiamo le vulnerabilità del software in modo efficace.

Uno sguardo ai metodi per rilevare bug nel software quantistico.

Un nuovo approccio aumenta l'efficienza nella verifica dei progetti dei chip.

Indagare il ruolo dei LLM nella generazione di specifiche software per la verifica.

Uno sguardo a WASM e all'importanza della decompilazione nella sicurezza web.

Valutare l'importanza dell'ingegneria dei prompt con i nuovi modelli di ragionamento.

Combinando l'IA con Dafny per semplificare i processi di verifica del software.

I casi di garanzia assicurano l'affidabilità, la sicurezza e la chiarezza per l'utente del software.

Uno sguardo alle difficoltà nell'identificare il codice generato dall'IA e ai miglioramenti futuri.

Un modo nuovo per pianificare i voli dei quadricotteri semplicemente disegnando percorsi.

Un'iniziativa guidata da studenti che offre esperienza pratica con il software per i futuri ingegneri.

Esaminando l'uso energetico di assistenti alla codifica come GitHub Copilot.

Esplora come la somma in virgola mobile influisce sulla precisione nei calcoli.

Le QNN possono cambiare il modo in cui i sistemi di dati vengono testati e gestiti nella sanità.

Mint cattura e gestisce i dati di tracciamento in modo efficiente per avere migliori intuizioni.

Collegamenti deboli possono accendere innovazione nei progetti software.

Uno sguardo sul potenziale dei campi di coding per migliorare l'apprendimento e le connessioni lavorative.

Un nuovo metodo migliora la rilevazione delle vulnerabilità nei contratti smart.