RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.008 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Jandom: JVM based Analyzer for Numerical DOMains | 2013 | Amato, Gianluca; Scozzari, Francesca | |
Random: R-based Analyzer for Numerical Domains | 2012 | Amato, Gianluca; Scozzari, Francesca |
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.008 secondi).
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
Opzioni
Scopri
Tipologia
- 5.11 Software 2
Data di pubblicazione
- 2013 1
- 2012 1
Keyword
- abstract interpretation 2
- static analysis 2
- java bytecode 1
- numerical domains 1
- parallelotopes 1
- principal component analysis 1
- scala 1
Lingua
- eng 2
Accesso al fulltext
- no fulltext 2