Zobrazeno 1 - 10
of 149
pro vyhledávání: '"Franceschini, Luca"'
Scalability is a common issue among the most used permissionless blockchains, and several approaches have been proposed accordingly. As Ethereum is set to be a solid foundation for a decentralized Internet web, the need for tackling scalability issue
Externí odkaz:
http://arxiv.org/abs/2012.14718
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ancona, Davide, Franceschini, Luca, Delzanno, Giorgio, Leotta, Maurizio, Ribaudo, Marina, Ricca, Filippo
Publikováno v:
EPTCS 264, 2018, pp. 27-42
In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model. However, verifying the correctness of programs with
Externí odkaz:
http://arxiv.org/abs/1802.01790
Publikováno v:
EPTCS 258, 2017, pp. 19-35
We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solv
Externí odkaz:
http://arxiv.org/abs/1709.04902
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Breccia, Massimo, Stagno, Fabio, Luciano, Luigiana, Abruzzese, Elisabetta, Annunziata, Mario, D’Adda, Mariella, Maggi, Alessandro, Sgherza, Nicola, Russo-Rossi, Antonella, Pregno, Patrizia, Castagnetti, Fausto, Iurlo, Alessandra, Latagliata, Roberto, Cedrone, Michele, Di Renzo, Nicola, Sorà, Federica, Rege-Cambrin, Giovanna, La Nasa, Giorgio, Scortechini, Anna Rita, Greco, Giovanna, Franceschini, Luca, Sica, Simona, Bocchia, Monica, Crugnola, Monica, Orlandi, Esther, Guarini, Attilio, Specchia, Giorgina, Rosti, Gianantonio, Saglio, Giuseppe, Alimena, Giuliana
Publikováno v:
In Leukemia Research January 2016 40:24-29
Autor:
Fazio, Francesca *, Gherardini, Martina *, Za, Tommaso *, Rossi, Elena *, Di Landro, Francesca *, Morè, Sonia *, Manieri, Maria Valentina *, Fioritoni, Francesca *, Bongarzoni, Velia *, Gumenyuk, Svitlana *, Rago, Angela *, Garzia, Maria Grazia *, Angelini, Stefano *, Masucci, Chiara *, Franceschini, Luca *, Piciocchi, Alfonso *, Galieni, Piero *, De Rosa, Luca *, Pisani, Francesco *, Pulini, Stefano *, Offidani, Massimo *, De Stefano, Valerio *, Martelli, Maurizio *, Petrucci, Maria Teresa
Publikováno v:
In Blood 15 November 2022 140 Supplement 1:7147-7149
Autor:
Calabrese, Emma, Zorzi, Francesca, Visconti, Emanuela, De Angelis, Gottardo, Cerretti, Raffaella, Del Vecchio Blanco, Giovanna, Picardi, Alessandra, Cudillo, Laura, Postorino, Massimiliano, Franceschini, Luca, Biancone, Livia, Arcese, William, Pallone, Francesco
Publikováno v:
In Digestive and Liver Disease November 2013 45(11):899-904
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.