MAZZOCCA, NICOLA

MAZZOCCA, NICOLA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 387 (tempo di esecuzione: 0.036 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Performance analysis of distributed memory computers with parallel node architecture 1.1 Articolo in rivista 1995 Iannello, G.; Mazzeo, Antonino; Mazzocca, N.
Ambienti di Sviluppo per Transputer 1.1 Articolo in rivista 1992 Mazzocca, N.; Russo, Stefano; Ventre, G.
Valutazione delle prestazioni di reti ad alta velocità per calcolo parallelo 1.1 Articolo in rivista 1998 Iannello, G.; Mazzeo, A.; Mazzocca, N.; Russo, Stefano
Building a dependable system from a legacy application with CORBA 1.1 Articolo in rivista 1999 Mazzocca, Nicola; Cotroneo, Domenico; L., Romano; S., Russo
Building a dependable system from a legaly application with CORBA 1.1 Articolo in rivista 2002 Cotroneo, Domenico; Mazzocca, Nicola; Romano, L; Russo, S.
The Osmosys approach to multiformalism modelling of system 1.1 Articolo in rivista 2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer 1.1 Articolo in rivista 1994 Mazzeo, A.; Mazzocca, N.; Russo, S.; Sforza, Antonio
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.
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.
Architettura e Protocolli di una Infrastruttura a Chiave Pubblica per la PA 1.1 Articolo in rivista 1998 Mazzocca, N.; Mazzeo, Antonino; Nastri, M.; Rolleri, F.; Romano, L.
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
Architettura e Protocolli di una Infrastruttura a Chiave Pubblica per la Pubblica Amministrazione 1.1 Articolo in rivista 1999 Mazzocca, N.; Mazzeo, Antonino; Nastri, M.; Rolleri, F.; Romano, L.; Santangelo, E.
CASE system for Petri net modeling of CSP programs 1.1 Articolo in rivista 1996 Donatelli, S.; Mazzocca, Nicola; 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.
SECURE: a Simulation Tool for PKI Design 1.1 Articolo in rivista 1999 Romano, L.; Mazzeo, Antonino; Mazzocca, N.
Heterogeneous System Performance Prediction and Analysis Using PS 1.1 Articolo in rivista 1998 Aversa, R.; Mazzocca, N.; Mazzeo, Antonino; 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.
Parallel Program Development using the MetaPL Notation System 4.1 Articoli in Atti di convegno 2001 Rak, M; Mazzocca, Nicola; Villano, U.
Test Pattern Generator for Hybrid Testing of Combinational 4.1 Articoli in Atti di convegno 2001 DE CARO, Davide; Mazzocca, Nicola; Napoli, Ettore; Saggese, G. P.; Strollo, A. G. M.
Integration of Mobile Agents and OpenMP for programming clusters of Shared Memory 4.1 Articoli in Atti di convegno 2001 R., Aversa; DI MARTINO, B; Mazzocca, Nicola; Rak, M; Venticinque, S.