Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| JaDA - A Static Java Deadlock Analizer | Abel Garcia; Cosimo Laneve | 2017-01-01 | - | - | 7.04 Software | - |
| Static analysis of cloud elasticity | Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael | 2017-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642317300679-main.pdf; VM-elsevier.pdf |
| JaDA -- the Java Deadlock Analyzer | Abel Garcia; Cosimo Laneve | 2017-01-01 | - | River Publishers | 2.01 Capitolo / saggio in libro | - |
| Deadlock detection of java bytecode | Laneve, Cosimo*; Garcia, Abel | 2018-01-01 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Mostrati risultati da 1 a 4 di 4
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