Combined search of MeV and gravitational waves from astrophysical impulsive sources
2019-01-01 Pagliaroli, G; Halim, O; Casentini, C; Vigorito, C; Fafone, V
What is needed for managing co-evolution in MDE?
2011-01-01 Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
NEW DEVELOPMENT MODEL FOR THE HOUSING FUTURE
2014-01-01 Forlani Maria, Cristina; Mastrolonardo, Luciana; Crociata, A.
A proactive approach for runtime self-adaptation based on queueing network fluid analysis
2015-01-01 Incerto, E; Tribastone, M; Trubiani, C
Similar Patterns of Cultural and Creative Industries. A Preliminary Analysis Based on Self-Organized-Map to the Italian Case
2018-01-01 Furia, D; Crociata, A; Compagnucci, F; Carlei, V
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
2015-01-01 Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G
Model-Driven Application Refactoring to Minimize Deployment Costs in Preemptible Cloud Resources
2016-01-01 Dubois, Dj; Trubiani, C; Casale, G
Towards recovering the software architecture of microservice-based systems
2017-01-01 Granchelli, Giona; Cardarelli, Mario; DI FRANCESCO, Paolo; Malavolta, Ivano; Iovino, Ludovico; Di Salle, Amleto
"Electromagnetic follow-up of gravitational wave transient signal candidates"
2012-01-01 Branchesi, Marica; on behalf of LIGO Scientific, Collaboration; the Virgo, Collaboration
A unified solution to the anisotropy and gradient problems
2013-01-01 Gaggero, D; Evoli, C; Grasso, D; Maccione, L
Performance antipattern detection through fUML model library
2015-01-01 Arcelli, D; Berardinelli, L; Trubiani, C
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
Towards a library of composable models to estimate the performance of security solutions
2008-01-01 Cortellessa, V; Trubiani, C
An alternative solution to the gamma-ray Gradient problem
2011-01-01 Gaggero, D; Evoli, C; Grasso, D; Maccione, L
Antipattern-based model refactoring for software performance improvement
2012-01-01 Arcelli, D; Cortellessa, V; Trubiani, C
Diffuse synchrotron emission from galactic cosmic ray electrons
2015-01-01 Di Bernardo, G; Grasso, D; Evoli, C; Gaggero, D
Symbolic performance adaptation
2016-01-01 Incerto, E; Tribastone, M; Trubiani, C
An extensible data-driven approach for evaluating the quality of microservice architectures
2019-01-01 Cardarelli, Mario; Iovino, Ludovico; Di Francesco, Paolo; DI SALLE, Amleto; Malavolta, Ivano; Lago, Patricia
Multi-messenger astronomy: gravitational waves, neutrinos, photons, and cosmic rays
2016-01-01 Branchesi, Marica
Lazy sequentialization for TSO and PSO via shared memory abstractions
2016-01-01 Tomasco, E; Nguyen, T L; Inverso, O; Fischer, B; La Torre, S; Parlato, G
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 ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- 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 SCIENCE43
- 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 PROCEEDINGS6
- 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
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10