Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Mostrati risultati da 1 a 3 di 3
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Fast QuadTree-Based Pose Estimation for Security Applications Using Face Biometrics
2018-01-01 Barra, Paola; Bisogni, Carmen; Nappi, Michele; Ricciardi, Stefano
Scope-Bounded Pushdown Languages.
2014-01-01 Salvatore La, Torre; Margherita, Napoli; Parlato, G
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Fast QuadTree-Based Pose Estimation for Security Applications Using Face Biometrics | 1-gen-2018 | Barra, Paola; Bisogni, Carmen; Nappi, Michele; Ricciardi, Stefano | |
Scope-Bounded Pushdown Languages. | 1-gen-2014 | Salvatore La, Torre; Margherita, Napoli; Parlato, G |
Mostrati risultati da 1 a 3 di 3
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