IRIS

MAZZOCCA, NICOLA

MAZZOCCA, NICOLA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 383 (tempo di esecuzione: 0.022 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Parallel Program Analysis and Restructuring by Detection of Point-To-Point Interaction Patterns and Their Transformation into Collective Communication Constructs 1.1 Articolo in rivista 2001 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.
Heterogeneous System Performance Prediction and Analysis Using PS 1.1 Articolo in rivista 1998 Aversa, R.; Mazzocca, N.; Mazzeo, Antonino; Villano, U.
Parallel Program Analysis and Restructuring by Detection of Point-To-Point Interaction Patterns and Their Transformation into Collective Communication Constructs 2.1 Contributo in volume (Capitolo o Saggio) 2001 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.
Interaction Patterns Detection in PVM Programs to Support Simulation 2.1 Contributo in volume (Capitolo o Saggio) 1997 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication 4.1 Articoli in Atti di convegno 1999 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.
Performance analysis of distributed memory computers with parallel node architecture 1.1 Articolo in rivista 1995 Iannello, G.; Mazzeo, Antonino; Mazzocca, N.
The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP2011) 8.04 Convegni organizzati dalla struttura 2011 Mazzeo, Antonino; Franceschetti, Giorgio; Mazzocca, Nicola; Vittorini, Valeria
Towards a hybrid mesoscopic-microscopic railway simulation model 4.1 Articoli in Atti di convegno 2011 Quaglietta, Egidio; Punzo, Vincenzo; Montella, Bruno; Nardone, Roberto; Mazzocca, Nicola
Modeling Distributed Supervisory Sistems using a modular multi-formalism methodology 4.1 Articoli in Atti di convegno 2004 F., Moscato; M., Iacono; S., Marrone; Mazzocca, Nicola
Approccio Semantico per un Trattamento Documentale Massivo in Domini Specialistici 4.1 Articoli in Atti di convegno 2011 Amato, Flora; Casola, Valentina; Mazzeo, Antonino; Mazzocca, Nicola; Romano, Sara
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 4.1 Articoli in Atti di convegno 2003 Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
Corso di Master universitario di II livello in Innovazione ICT: progettazione e gestione di servizi di nuova generazione e cloud computing 8.05 Partecip. Consigli Scientifici/Direttivi 2012 Mazzocca, Nicola; Casola, Valentina; Mazzeo, Antonino
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 4.1 Articoli in Atti di convegno 2003 Gibaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, V.
An Experience in Railway interlocking Systems Specification and Formal Verification 2.1 Contributo in volume (Capitolo o Saggio) 2003 Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria
Predictive Performance Analysis of Distribuited Heterogeneous System with HeSSE 4.1 Articoli in Atti di convegno 2001 Mazzocca, Nicola; Rak, M; Villano, U.
A hierarchical approach for designing dependable system 4.1 Articoli in Atti di convegno 2003 Bobbio, A; Franceschinis, G; Mazzocca, Nicola; SONZA REORDA, M; Violante, M.
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer 1.1 Articolo in rivista 1994 Mazzeo, A.; Mazzocca, N.; Russo, S.; Sforza, Antonio
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
Distributed Coordination in Optimization Algorithms 2.1 Contributo in volume (Capitolo o Saggio) 1997 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Russo, S.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.