4.1 Contributo in Atti di convegno

4.1 Contributo in Atti di convegno: [1389] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 981 a 1.000 di 1.389

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

Multi-modeling approach to performance engineering of Cyber-Physical Systems design

2017-01-01 Pagliari, L; Mirandola, R; Trubiani, C

Describing the correlations between metamodels and transformations aspects

2014-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso

Collaborative development of feature models and evaluation of performance bounds

2017-01-01 Arcaini, P; Trubiani, C

Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation

2017-01-01 Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G

A deep investigation for QoS-based feedback at design time and runtime

2012-01-01 Mirandola, R; Trubiani, C

Galactic electron and positron properties from cosmic ray and radio observations

2013-01-01 Grasso, D; Di Bernardo, G; Evoli, C; Gaggero, D; Maccione, L

Role of women in software architecture: An attempt at a systematic literature review

2017-01-01 Spichkova, M; Schmidt, H; Trubiani, C

MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution)

2014-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G

Detection and solution of software performance antipatterns in Palladio architectural models

2011-01-01 Trubiani, C; Koziolek, A

Titolo	Data di pubblicazione	Autore(i)
A unified solution to the anisotropy and gradient problems	1-gen-2013	Gaggero, D; Evoli, C; Grasso, D; Maccione, L
Performance antipattern detection through fUML model library	1-gen-2015	Arcelli, D; Berardinelli, L; Trubiani, C
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization	1-gen-2014	Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
Towards a library of composable models to estimate the performance of security solutions	1-gen-2008	Cortellessa, V; Trubiani, C
An alternative solution to the gamma-ray Gradient problem	1-gen-2011	Gaggero, D; Evoli, C; Grasso, D; Maccione, L
Antipattern-based model refactoring for software performance improvement	1-gen-2012	Arcelli, D; Cortellessa, V; Trubiani, C
Diffuse synchrotron emission from galactic cosmic ray electrons	1-gen-2015	Di Bernardo, G; Grasso, D; Evoli, C; Gaggero, D
Symbolic performance adaptation	1-gen-2016	Incerto, E; Tribastone, M; Trubiani, C
An extensible data-driven approach for evaluating the quality of microservice architectures	1-gen-2019	Cardarelli, Mario; Iovino, Ludovico; Di Francesco, Paolo; DI SALLE, Amleto; Malavolta, Ivano; Lago, Patricia
Multi-messenger astronomy: gravitational waves, neutrinos, photons, and cosmic rays	1-gen-2016	Branchesi, Marica
Lazy sequentialization for TSO and PSO via shared memory abstractions	1-gen-2016	Tomasco, E; Nguyen, T L; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Multi-modeling approach to performance engineering of Cyber-Physical Systems design	1-gen-2017	Pagliari, L; Mirandola, R; Trubiani, C
Describing the correlations between metamodels and transformations aspects	1-gen-2014	Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Collaborative development of feature models and evaluation of performance bounds	1-gen-2017	Arcaini, P; Trubiani, C
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation	1-gen-2017	Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
A deep investigation for QoS-based feedback at design time and runtime	1-gen-2012	Mirandola, R; Trubiani, C
Galactic electron and positron properties from cosmic ray and radio observations	1-gen-2013	Grasso, D; Di Bernardo, G; Evoli, C; Gaggero, D; Maccione, L
Role of women in software architecture: An attempt at a systematic literature review	1-gen-2017	Spichkova, M; Schmidt, H; Trubiani, C
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution)	1-gen-2014	Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Detection and solution of software performance antipatterns in Palladio architectural models	1-gen-2011	Trubiani, C; Koziolek, A

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 981 a 1.000 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

Accesso al fulltext

no fulltext1182
open101
reserved96
partially open10