Sfoglia per Autore
Recoverable-Persistence in a Distributed single Address Space
1999-01-01 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
Implementing Distributed Single Address Space in the Presence of Failures
1999-01-01 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
An Overview of Ulisse a Distributed Single Address Space System
2000-01-01 Lettieri, Giuseppe; Dini, Gianluca; Lopriore, Lanfranco
An overview of Ulisse, a distributed single address space system
2001-01-01 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
Page availability in a distributed, persistent system
2001-01-01 Corsini, Paolo; Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
Using Standard Verifier to Check Secure Information Flow in Java Bytecode
2002-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs
2002-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
Concrete and Abstract Semantics to check Information Flow in Concurrent programs
2003-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
Checking security properties by model checking
2003-01-01 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification
2004-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L.
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs
2004-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
A Space-Aware Bytecode Verifier for Java Cards
2005-01-01 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Design Framework for a Distributed Single-Address-Space System
2005-01-01 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
Using Control Dependencies for Space-Aware Bytecode Verification
2006-01-01 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Caching and prefetching algorithms for programs with looping reference patterns
2006-01-01 Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco
Using postdomination to reduce space requirements of data flow analysis
2006-01-01 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Programmare in Java - Volume III - Esercizi
2007-01-01 Frosini, Graziano; Lettieri, Giuseppe; Vecchio, Alessio
Decomposing Bytecode Verification by Abstract Interpretation
2008-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Architettura dei Calcolatori, vol. 3
2009-01-01 Frosini, Graziano; Lettieri, Giuseppe
Architettura dei Calcolatori, vol. 2
2010-01-01 Frosini, Graziano; Lettieri, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Recoverable-Persistence in a Distributed single Address Space | 1-gen-1999 | Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco | |
Implementing Distributed Single Address Space in the Presence of Failures | 1-gen-1999 | Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco | |
An Overview of Ulisse a Distributed Single Address Space System | 1-gen-2000 | Lettieri, Giuseppe; Dini, Gianluca; Lopriore, Lanfranco | |
An overview of Ulisse, a distributed single address space system | 1-gen-2001 | Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco | |
Page availability in a distributed, persistent system | 1-gen-2001 | Corsini, Paolo; Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco | |
Using Standard Verifier to Check Secure Information Flow in Java Bytecode | 1-gen-2002 | Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; 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 | |
Concrete and Abstract Semantics to check Information Flow in Concurrent programs | 1-gen-2003 | Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe | |
Checking security properties by model checking | 1-gen-2003 | DE FRANCESCO, Nicoletta; Lettieri, Giuseppe | |
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. | |
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs | 1-gen-2004 | Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe | |
A Space-Aware Bytecode Verifier for Java Cards | 1-gen-2005 | Bernardeschi, Cinzia; 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 | |
Using Control Dependencies for Space-Aware Bytecode Verification | 1-gen-2006 | Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL | |
Caching and prefetching algorithms for programs with looping reference patterns | 1-gen-2006 | Dini, Gianluca; Lettieri, Giuseppe; Lopriore, Lanfranco | |
Using postdomination to reduce space requirements of data flow analysis | 1-gen-2006 | Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL | |
Programmare in Java - Volume III - Esercizi | 1-gen-2007 | Frosini, Graziano; Lettieri, Giuseppe; Vecchio, Alessio | |
Decomposing Bytecode Verification by Abstract Interpretation | 1-gen-2008 | Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL | |
Architettura dei Calcolatori, vol. 3 | 1-gen-2009 | Frosini, Graziano; Lettieri, Giuseppe | |
Architettura dei Calcolatori, vol. 2 | 1-gen-2010 | Frosini, Graziano; Lettieri, Giuseppe |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile