LETTIERI, GIUSEPPE Statistiche

LETTIERI, GIUSEPPE  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 52 (tempo di esecuzione: 0.058 secondi).
Titolo Data di pubblicazione Autore(i) File
A Space-Aware Bytecode Verifier for Java Cards 1-gen-2005 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
An Abstract Interpretation framework for genotype elimination algorithms 1-gen-2012 Lettieri, Giuseppe
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 1-gen-2002 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
An Overview of Ulisse a Distributed Single Address Space System 1-gen-2000 Lettieri, Giuseppe; Dini, Gianluca; Lopriore, Lanfranco
Architettura dei Calcolatori, vol. 2 1-gen-2010 Frosini, Graziano; Lettieri, Giuseppe
Architettura dei Calcolatori, vol. 3 1-gen-2009 Frosini, Graziano; Lettieri, Giuseppe
Architettura dei Calcolatori, Vol. II 1-gen-2013 Frosini, Graziano; Lettieri, Giuseppe
Architettura dei Calcolatori, Vol. III 1-gen-2013 Frosini, Graziano; Lettieri, Giuseppe
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution 1-gen-2019 Maffione, Vincenzo; Lettieri, Giuseppe; Rizzo, Luigi
Cache-aware design of general-purpose Single-Producer–Single-Consumer queues 1-gen-2019 Maffione, Vincenzo; Lettieri, Giuseppe; Rizzo, Luigi
Caching and prefetching algorithms for programs with looping reference patterns 1-gen-2006 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 1-gen-2010 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L.
Checking Safety Proprieties through Simulation and Heuristic Search 1-gen-2013 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, A; Vaglini, Gigliola
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 1-gen-2004 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L.
Checking security properties by model checking 1-gen-2003 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 1-gen-2003 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 1-gen-2004 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
Data stream processing for packet-level analytics 1-gen-2021 Fais, A.; Lettieri, G.; Procissi, G.; Giordano, S.; Oppedisano, F.
Decomposing Bytecode Verification by Abstract Interpretation 1-gen-2008 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Design Framework for a Distributed Single-Address-Space System 1-gen-2005 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco