Articoli più recenti per Sviluppo Software

QChecker aiuta a rilevare bug nei programmi quantistici usando tecniche di analisi statica.

Questo articolo esplora come i nostri cervelli elaborano il codice informatico.

La ricerca mette in evidenza problemi con i contratti smart e i loro strumenti di verifica.

Questa ricerca migliora la regolazione dei programmi tensoriali su diverse hardware usando tecniche di transfer learning.

TAS-Paths migliora la sicurezza e l'efficienza nella pianificazione del movimento dello spettrometro.

Uno sguardo ai rischi degli attacchi alla catena di fornitura software e al loro impatto.

Uno studio che valuta le prestazioni degli strumenti AIGC nel rilevare il codice generato da AI.

PP-MobileSeg offre segmentazione delle immagini più veloce e precisa per dispositivi mobili.

Uno strumento che analizza il sentiment pubblico per guidare la scelta delle API per gli sviluppatori.

Scopri il ruolo del QIR nella programmazione quantistica per una maggiore sicurezza del codice.

Una risorsa per i programmatori per migliorare le pratiche di codifica in Python.

Esaminando l'adozione di OSS nelle organizzazioni pubbliche e le sue sfide uniche.

Scopri come l'edge computing e gli spazi dei dati permettono uno scambio sicuro di dati per diverse applicazioni.

I manutentori sono fondamentali per la salute delle librerie di software open source.

Esaminando le questioni fiscali nella collaborazione software internazionale.

Uno studio sull'efficienza dei metodi di esecuzione di Java.

Uno sguardo al ruolo della programmazione coreografica nella creazione di sistemi distribuiti efficienti.

Esplora come il sottotipaggio migliora la comunicazione nei sistemi informatici.

Uno strumento semplice per convalidare le regole GSOS nei linguaggi di programmazione.

Capire l'inferenza dei tipi e il suo impatto sui linguaggi di programmazione e la gestione delle risorse.

Un nuovo approccio migliora l’adattabilità della tecnologia di riconoscimento vocale.

Un nuovo modello di programmazione migliora la sicurezza nelle applicazioni locali.

Uno sguardo al miglioramento dei calcoli con matrici sparse usando SpChar.

Aerostack2 introduce un approccio standardizzato per sviluppare robot aerei autonomi.

Un nuovo approccio all'esecuzione simbolica migliora l'efficienza della rilevazione dei bug nel software.

Uno sguardo alla tolleranza ai guasti bizantini per il computing sicuro.

Scopri come la selezione degli esempi influisce sulla programmazione con i modelli di linguaggio ampi.

Questo studio analizza come gli sviluppatori considerano i costi nello sviluppo di applicazioni cloud.

Tetra-AML semplifica la creazione e l'uso delle reti neurali.

SerPyTor semplifica il calcolo distribuito con un framework leggero per installazioni più facili.

Un nuovo metodo migliora l'efficienza nei grandi modelli di linguaggio mantenendo la precisione.

Reclaimer ottimizza l'allocazione delle risorse per i microservizi usando tecniche di apprendimento avanzate.

Indagare su come le richieste di aggiornamento influiscono sulla qualità delle risposte su Stack Overflow.

Questo studio esplora come i modelli linguistici migliorano le correzioni automatiche di bug usando le revisioni del codice.

Presentiamo uno strumento per tenere traccia del debito tecnico in diversi linguaggi di programmazione.

Impara metodi efficaci per identificare le misconfigurazioni del controllo accessi e migliorare la sicurezza.

Un nuovo approccio unisce l'apprendimento automatico e l'analisi dei grafi per migliorare il rilevamento delle vulnerabilità nel codice.

Un nuovo framework migliora l'accuratezza della configurazione del software usando il processamento del linguaggio naturale.

Risposte veloci alle pull request sono fondamentali per il successo dei progetti open-source.

Uno studio sulla relazione tra subtyping strutturale e polimorfismo parametrico nei linguaggi di programmazione.