IRIS

MAZZOCCA, NICOLA

MAZZOCCA, NICOLA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 384 (tempo di esecuzione: 0.032 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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.
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.
The Transition from a PVM Program Simulator to a Hetetogeneous System Simulator: the HeSSE Project 2.1 Contributo in volume (Capitolo o Saggio) 2000 Mazzocca, Nicola; Rak, M; Villano, U.
Strumento su Piattaforma GRID per la Predizione del Campo Elettromagnetico in Aree Urbane 4.1 Articoli in Atti di convegno 2008 Imperatore, Pasquale; Moscato, Francesco; Guida, Raffaella; Ruello, Giuseppe; Iodice, Antonio; Riccio, Daniele; Mazzocca, Nicola; Franceschetti, Giorgio
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 4.1 Articoli in Atti di convegno 2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation 5.14 Altro ministeriale 1997 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.; Zima, H.
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
Paradigms for the parallelization of Branch-and-Bound algorithms 2.1 Contributo in volume (Capitolo o Saggio) 1996 DI MARTINO, B.; Mazzocca, Nicola; Russo, Stefano
Reconfigurable Systems Self-Healing using Mobile Hardware Agents 4.1 Articoli in Atti di convegno 2005 Benso, A; Cilardo, Alessandro; Mazzocca, Nicola; Miclea, L; Prinetto, P; Szilard, E.