Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 di 1.389
Qualifying chains of transformation with coverage based evaluation criteria
2014-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Approaching the model-driven generation of feedback to remove software performance flaws
2009-01-01 Cortellessa, V; Di Marco, A; Eramo, R; Pierantonio, A; Trubiani, C
A customizable approach for the automated quality assessment of modelling artifacts
2017-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Searching for electromagnetic counterparts of gravitational wave transients
2011-01-01 Branchesi, M.; behalf of the LIGO Scientific Collaboration, On; Virgo Collaboration, The; Klotz, A.; Laas-Bourez, M.
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution)
2015-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Towards the identification of "guilty" performance antipatterns
2010-01-01 Cortellessa, V; Martens, A; Reussner, R; Trubiani, C
Systematic Recovery of MDE Technology Usage
2018-01-01 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Exploiting traceability uncertainty between software architectural models and performance analysis results
2015-01-01 Trubiani, C; Ghabi, A; Egyed, A
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Fischer, B; Inverso, O; Parlato, G
Exploring synergies between bottleneck analysis and performance antipatterns
2014-01-01 Trubiani, C; Di Marco, A; Cortellessa, V; Mani, N; Petriu, D
Mining correlations of ATL model transformation and metamodel metrics
2015-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control
2018-01-01 Incerto, E; Tribastone, M; Trubiani, C
On the path-width of integer linear programming
2014-01-01 Enea, C; Habermehl, P; Inverso, O; Parlato, G
Gamma-ray and neutrino diffuse emission of the Galaxy above the TeV
2008-01-01 Evoli, C; Grasso, D; Maccione, L
Identification of Credulous Users on Twitter
2019-01-01 Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C
VISION as a support to cognitive behavioural systems
2012-01-01 Berardinelli, L; Cassioli, D; Di Marco, A; Esposito, A; Riviello, M. T.; Trubiani, C
CSeq: A Sequentialization Tool for C
2013-01-01 Fischer, B; Inverso, O; Parlato, G
Software performance antipatterns: Modeling and analysis
2012-01-01 Cortellessa, V; Di Marco, A; Trubiani, C
Analysis of Neutrino Signals from SN1987A
2008-01-01 Pagliaroli, G; Costantinim, L; Vissani, F
Diffuse Galactic Gamma Rays at Intermediate and High Latitudes, Constraints on ISM Properties
2011-01-01 Tavakoli, M; Cholis, I; Evoli, C; Ullio, P
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Qualifying chains of transformation with coverage based evaluation criteria | 1-gen-2014 | Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Approaching the model-driven generation of feedback to remove software performance flaws | 1-gen-2009 | Cortellessa, V; Di Marco, A; Eramo, R; Pierantonio, A; Trubiani, C | |
| A customizable approach for the automated quality assessment of modelling artifacts | 1-gen-2017 | Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Searching for electromagnetic counterparts of gravitational wave transients | 1-gen-2011 | Branchesi, M.; behalf of the LIGO Scientific Collaboration, On; Virgo Collaboration, The; Klotz, A.; Laas-Bourez, M. | |
| MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) | 1-gen-2015 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
| Towards the identification of "guilty" performance antipatterns | 1-gen-2010 | Cortellessa, V; Martens, A; Reussner, R; Trubiani, C | |
| Systematic Recovery of MDE Technology Usage | 1-gen-2018 | Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso | |
| Exploiting traceability uncertainty between software architectural models and performance analysis results | 1-gen-2015 | Trubiani, C; Ghabi, A; Egyed, A | |
| CSeq: A concurrency pre-processor for sequential C verification tools | 1-gen-2013 | Fischer, B; Inverso, O; Parlato, G | |
| Exploring synergies between bottleneck analysis and performance antipatterns | 1-gen-2014 | Trubiani, C; Di Marco, A; Cortellessa, V; Mani, N; Petriu, D | |
| Mining correlations of ATL model transformation and metamodel metrics | 1-gen-2015 | Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Combined Vertical and Horizontal Autoscaling Through Model Predictive Control | 1-gen-2018 | Incerto, E; Tribastone, M; Trubiani, C | |
| On the path-width of integer linear programming | 1-gen-2014 | Enea, C; Habermehl, P; Inverso, O; Parlato, G | |
| Gamma-ray and neutrino diffuse emission of the Galaxy above the TeV | 1-gen-2008 | Evoli, C; Grasso, D; Maccione, L | |
| Identification of Credulous Users on Twitter | 1-gen-2019 | Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C | |
| VISION as a support to cognitive behavioural systems | 1-gen-2012 | Berardinelli, L; Cassioli, D; Di Marco, A; Esposito, A; Riviello, M. T.; Trubiani, C | |
| CSeq: A Sequentialization Tool for C | 1-gen-2013 | Fischer, B; Inverso, O; Parlato, G | |
| Software performance antipatterns: Modeling and analysis | 1-gen-2012 | Cortellessa, V; Di Marco, A; Trubiani, C | |
| Analysis of Neutrino Signals from SN1987A | 1-gen-2008 | Pagliaroli, G; Costantinim, L; Vissani, F | |
| Diffuse Galactic Gamma Rays at Intermediate and High Latitudes, Constraints on ISM Properties | 1-gen-2011 | Tavakoli, M; Cholis, I; Evoli, C; Ullio, P |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 di 1.389
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1389
Data di pubblicazione
- 2020 - 2026492
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE42
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1182
- open101
- reserved96
- partially open10