Un nuovo approccio migliora il recupero delle patch per le vulnerabilità software.
Xueqing Liu, Yuchen Xiong, Qiushi Liu
― 8 leggere min
Informatica - Ingegneria del software
RSSScopri come le politiche di accesso proteggono i tuoi dati nelle applicazioni web.
Wen Zhang, Dev Bali, Jamison Kerney
― 4 leggere min
Cuvis.ai rende l'imaging iperspettrale facile e accessibile a tutti.
Nathaniel Hanson, Philip Manke, Simon Birkholz
― 8 leggere min
Un nuovo metodo migliora i modelli di codifica usando test auto-generati.
Zhihan Liu, Shenao Zhang, Zhaoran Wang
― 6 leggere min
HULA migliora la programmazione integrando il feedback umano nel processo di sviluppo.
Wannita Takerngsaksiri, Jirat Pasuksmit, Patanamon Thongtanunam
― 6 leggere min
Un nuovo metodo migliora la sicurezza del codice generato dai modelli linguistici.
Xiangzhe Xu, Zian Su, Jinyao Guo
― 5 leggere min
Scopri come i programmatori trovano e risolvono i bug in modo efficace.
Salomé Perez-Rosero, Robert Dyer, Samuel W. Flint
― 4 leggere min
Impara a creare modelli software chiari da codice complesso.
P. H. M. van Spaendonck
― 7 leggere min
Una chiara suddivisione dei componenti del modello linguistico e dei loro ruoli.
Dawen Zhang, Xiwei Xu, Chen Wang
― 10 leggere min
Esplorare l'impatto del debito tecnico sui progetti software e sulla loro manutenzione.
Shaiful Chowdhury, Hisham Kidwai, Muhammad Asaduzzaman
― 5 leggere min
Scopri come i metodi formali migliorano l'affidabilità del software e aiutano a beccare i bug in anticipo.
Roman Bögli, Leandro Lerena, Christos Tsigkanos
― 6 leggere min
Uno sguardo ai metodi di test per il software delle auto a guida autonoma.
Sneha Sudhir Shetiya, Vikas Vyas, Shreyas Renukuntla
― 4 leggere min
SpecTool porta chiarezza agli errori degli LLM nell'uso degli strumenti.
Shirley Kokane, Ming Zhu, Tulika Awalgaonkar
― 4 leggere min
Gaze2AOI automatizza il marking delle aree nei video usando i dati del tracciamento oculare.
Karolina Trajkovska, Matjaž Kljun, Klen Čopič Pucihar
― 5 leggere min
Scopri come GOOD semplifica la programmazione e migliora la qualità del software.
Harrie Passier, Lex Bijlsma, Ruurd Kuiper
― 6 leggere min
Uno sguardo a come la logica di tracciamento aiuta la verifica di programmi ricorsivi.
Dilian Gurov, Reiner Hähnle
― 6 leggere min
Valutare l'efficacia dei modelli linguistici nei compiti di coding con nuovi benchmark.
Nidhish Shah, Zulkuf Genc, Dogu Araci
― 5 leggere min
CodeSAM aiuta a migliorare la comprensione e l'analisi del codice da diversi punti di vista.
Alex Mathai, Kranthi Sedamaki, Debeshee Das
― 6 leggere min
Affrontare le sfide della tecnologia dei veicoli autonomi per un futuro più sicuro.
Paolo Burgio, Angelo Ferrando, Marco Villani
― 8 leggere min
Esplora come la precisione numerica impatti gli algoritmi e le decisioni.
Grégoire Boussu, Nikolai Kosmatov, Franck Védrine
― 7 leggere min
Questo documento parla di come migliorare la sincronizzazione dei robot saldatori usando il model checking.
Yvonne Murray, Henrik Nordlie, David A. Anisi
― 5 leggere min
Monitorare i chatbot per evitare problemi in ambienti critici.
Andrea Gatti, Viviana Mascardi, Angelo Ferrando
― 6 leggere min
Un nuovo sistema di monitoraggio per i robot migliora l'efficienza e l'affidabilità.
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis
― 6 leggere min
Uno sguardo su come le persone neurodiverse influenzano i team di sviluppo software.
Kiev Gama, Grischa Liebel, Miguel Goulão
― 5 leggere min
Explabox semplifica il machine learning per tutti, garantendo trasparenza e giustizia nei modelli di IA.
Marcel Robeer, Michiel Bron, Elize Herrewijnen
― 5 leggere min
Uno sguardo a come l'OSS sta plasmando la tecnologia attraverso la collaborazione e l'uso delle librerie.
Gábor Mészáros, Johannes Wachs
― 6 leggere min
Uno sguardo a come prevedere quanto ci mettono a girare i programmi quantistici.
Ning Ma, Heng Li
― 6 leggere min
SelectQA migliora la velocità e l'efficacia dei test software usando tecniche di calcolo quantistico.
Antonio Trovato, Manuel De Stefano, Fabiano Pecorelli
― 6 leggere min
I ricercatori esplorano come i modelli di linguaggio possono chiarire accordi legali complessi.
Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal
― 7 leggere min
Specifiche chiare possono trasformare lo sviluppo dell'IA e migliorare l'affidabilità dei sistemi.
Ion Stoica, Matei Zaharia, Joseph Gonzalez
― 6 leggere min
Questo articolo esplora come l'IA può semplificare la scrittura di asserzioni nel coding.
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra
― 6 leggere min
Uno sguardo ai problemi comuni degli sviluppatori nelle applicazioni ibride quantistiche.
Jake Zappin, Trevor Stalnaker, Oscar Chaparro
― 7 leggere min
Uno sguardo ai crash dei notebook Jupyter e come prevenirli.
Yiran Wang, Willem Meijer, José Antonio Hernández López
― 6 leggere min
Una panoramica delle vulnerabilità software e dei modelli usati per rilevarle.
Shahriyar Zaman Ridoy, Md. Shazzad Hossain Shaon, Alfredo Cuzzocrea
― 7 leggere min
Un modo nuovo per rendere i robot più intelligenti e efficienti.
Oliver Biggar, Iman Shames
― 6 leggere min
Esplorare come i LLM migliorano la creazione di software mantenendo la fiducia.
Marco Vieira
― 7 leggere min
Uno studio sulle performance dei LLM nel campo dell'ingegneria del software.
Conor O'Brien, Daniel Rodriguez-Cardenas, Alejandro Velasco
― 6 leggere min
Scopri CodeGraphNet, un nuovo metodo per identificare le vulnerabilità nel software.
Md. Fahim Sultan, Tasmin Karim, Md. Shazzad Hossain Shaon
― 7 leggere min
Esaminando come la complessità del codice influisce sulla sicurezza nei contratti smart.
Masoud Jamshidiyan Tehrani, Sattar Hashemi
― 5 leggere min
Uno sguardo a come gli sviluppatori indie usano la Sperimentazione Continua.
Johan Linåker, Elizabeth Bjarnason, Fabian Fagerholm
― 9 leggere min