Sfoglia per ???browse.type.metadata.subjectIsicrui???
Efficient unbalanced merge-sort
2006-01-01 Nardelli, E; Proietti, G
Elastic Deployment of Software Containers in Geo-Distributed Computing Environments
2019-01-01 Rossi, F; Cardellini, V; LO PRESTI, F
Elastic stateful stream processing in storm
2016-01-01 Cardellini, V; Nardelli, M; Luzi, D
Electrical Resistance Profiling of Bend Sensors adopted to Measure Spatial Arrangment of the Human Body
2011-10-01 Saggio, G
Elements of computability, decidability, and complexity (Third edition)
2009-01-01 Pettorossi, A
Elements of concurrent programming (Second edition)
2005-01-01 Pettorossi, A
Elements of concurrent programming (Third edition)
2008-01-01 Pettorossi, A
Empirical principles and an industrial case study in retrieving equivalent requirements via natural language processing techniques.
2013-01-01 Falessi, D; Cantone, G; Canfora, G
Enhancing dynamic selection of Web service access points
2004-01-01 Bianchi, M; Gaibisso, C; Gambosi, G
Enhancing topology adaptation in information-sharing social networks
2012-01-01 Cimini, G; Chen, D; Medo, M; Lu, L; Zhang, Y; Zhou, T
Equilibria for broadcast range assignment games in ad-hoc networks
2005-01-01 Crescenzi, P; DI IANNI, M; Lazzoni, A; Penna, P; Rossi, G; Vocca, P
Euclidean distance matrices, semidefinite programming, and sensor network localization (a survey)
2011-01-01 Alfakih, A; Anjos, M; Piccialli, V; Wolkowicz, H
Evaluating checklist-based and use-case-driven reading techniques as applied to software analysis and design UML artifacts
1993-01-01 Cantone, G; Colasanti, L; Abdulnabi, Z; Lomartire, A; Calavaro, G
Evaluating fuzzy controller robustness using model checking
2009-01-01 Della Penna, G; Intrigila, B; Magazzeni, D
Experiences and issues in the realization of e-government services
2002-01-01 Arcieri, F; Melideo, G; Nardelli, E; Talamo, M
Experimental analysis of dynamic all pairs shortest path algorithms
2006-01-01 Demetrescu, C; Italiano, Gf
Experimental Analysis of Practically Efficient Algorithms for Bounded-Hop Accumulation in Ad-Hoc Wireless Networks
2005-01-01 Clementi, A; DI IANNI, M; Monti, A; Rossi, G; Silvestri, R
Experimental study of resilient algorithms and data structures
2010-01-01 Petrillo, U; Finocchi, I; Italiano, Gf
Exploiting hub states in automatic verification
2005-01-01 Della Penna, G; Melatti, I; Intrigila, B; Tronci, E
Exploiting transition locality in automatic verification of finite-state concurrent systems
2004-01-01 Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M
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