MAZZOCCA, NICOLA
MAZZOCCA, NICOLA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Performance analysis of distributed memory computers with parallel node architecture
1995 Iannello, G.; Mazzeo, Antonino; Mazzocca, N.
Ambienti di Sviluppo per Transputer
1992 Mazzocca, N.; Russo, Stefano; Ventre, G.
Valutazione delle prestazioni di reti ad alta velocità per calcolo parallelo
1998 Iannello, G.; Mazzeo, A.; Mazzocca, N.; Russo, Stefano
Building a dependable system from a legacy application with CORBA
1999 Mazzocca, Nicola; Cotroneo, Domenico; L., Romano; S., Russo
Building a dependable system from a legaly application with CORBA
2002 Cotroneo, Domenico; Mazzocca, Nicola; Romano, L; Russo, S.
The Osmosys approach to multiformalism modelling of system
2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer
1994 Mazzeo, A.; Mazzocca, N.; Russo, S.; Sforza, Antonio
Efficient Model checking of properties of a distribuited application: a multimedia case study
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
1999 Mazzocca, Nicola; Russo, S; Vittorini, V.
Architettura e Protocolli di una Infrastruttura a Chiave Pubblica per la PA
1998 Mazzocca, N.; Mazzeo, Antonino; Nastri, M.; Rolleri, F.; Romano, L.
Formal Specification of Concurrent Systems: a Structured Approach
1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
Architettura e Protocolli di una Infrastruttura a Chiave Pubblica per la Pubblica Amministrazione
1999 Mazzocca, N.; Mazzeo, Antonino; Nastri, M.; Rolleri, F.; Romano, L.; Santangelo, E.
CASE system for Petri net modeling of CSP programs
1996 Donatelli, S.; Mazzocca, Nicola; Russo, S.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems
1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
SECURE: a Simulation Tool for PKI Design
1999 Romano, L.; Mazzeo, Antonino; Mazzocca, N.
Heterogeneous System Performance Prediction and Analysis Using PS
1998 Aversa, R.; Mazzocca, N.; Mazzeo, Antonino; Villano, U.
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication
1999 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.
Parallel Program Development using the MetaPL Notation System
2001 Rak, M; Mazzocca, Nicola; Villano, U.
Test Pattern Generator for Hybrid Testing of Combinational
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
2001 R., Aversa; DI MARTINO, B; Mazzocca, Nicola; Rak, M; Venticinque, S.
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. |