Sfoglia per Serie
Smart Cities as "EnvironMental" Cities
2013-01-01 DE BONIS, Luciano
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
2015-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
2017-01-01 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Vac - Verifier of administrative role-based access control policies
2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Smart Cities as "EnvironMental" Cities | 1-gen-2013 | DE BONIS, Luciano | |
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches | 1-gen-2015 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models | 1-gen-2017 | Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Vac - Verifier of administrative role-based access control policies | 1-gen-2014 | Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro | |
Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro |
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