IRIS

MAZZOCCA, NICOLA

MAZZOCCA, NICOLA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 384 (tempo di esecuzione: 0.027 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 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
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.
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.
Gestione remota di una cella robotizzata: realizzazione e sperimentazione 4.1 Articoli in Atti di convegno 2002 F., Basile; P., Chiacchio; Mazzocca, Nicola; Pescape', Antonio
A framework for the Design of Distributed Reconfigurable Embedded Systems 4.1 Articoli in Atti di convegno 2007 Cilardo, Alessandro; Coppolino, L; Mazzocca, Nicola
The Osmosys approach to multiformalism modelling of system 1.1 Articolo in rivista 2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO 4.1 Articoli in Atti di convegno 2008 Franceschetti, Giorgio; Guida, Raffaella; Imperatore, Pasquale; Iodice, Antonio; Mazzocca, Nicola; Moscato, Francesco; Riccio, Daniele; Ruello, Giuseppe
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches 1.1 Articolo in rivista 1999 Mazzocca, Nicola; Russo, S; Vittorini, V.
Efficient Model checking of properties of a distribuited application: a multimedia case study 1.1 Articolo in rivista 2002 Mazzocca, Nicola; Santone, A; Vaglini, G; Vittorini, V.
EPOCA: present and prospects 2.1 Contributo in volume (Capitolo o Saggio) 1996 S., Donatelli; Mazzocca, Nicola; Russo, Stefano
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer 1.1 Articolo in rivista 1994 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Sforza, A.
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation 4.1 Articoli in Atti di convegno 1998 Aversa, R.; DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.