Sfoglia per Autore
Static Checking of Interprocess Communication in ECSP
1983-01-01 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA
Structuring Process for a Cooperative Approach to Fault-Tolerant Distributed Software
1984-01-01 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA; TOMASI A: VANNESCHI, M.
Static checking of interprocess communication in ECSP
1984-01-01 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA; Vanneschi, Marco
Concurrent Programming Tools for the MuTEAM Microprocessor System
1986-01-01 Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Ricci, LAURA EMILIA MARIA; Tomasi, A; Vanneschi, Marco; Vaglini, Gigliola
Pipeline Optimizations in AND-Parallel Logic Programs
1990-01-01 Ricci, LAURA EMILIA MARIA; Giacobazzi, R.
Detecting Determinate Computations by Bottom-up Abstract Interpretation
1992-01-01 Ricci, LAURA EMILIA MARIA; Giacobazzi, R.
Congestion Prevention by Bounding in Distributed Memory Systems
1994-01-01 Baiardi, Fabrizio; A., Candelieri; Ricci, LAURA EMILIA MARIA
General purpose massively parallel systems: the role of programming environments
1994-01-01 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA
A Static Analysis to Order Instructions of a Concurrent Program
1995-01-01 Ricci, LAURA EMILIA MARIA; Baiardi, Fabrizio
A Static Analysis to Order Instructions of a Concurrent Program
1995-01-01 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA
Designing a Static Tool for Instruction Ordering of Highly Parallel Programs,
1996-01-01 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA
Massively Parallel Execution of Logic Programs: A Static approach
1997-01-01 Baiardi, Fabrizio; A., Candelieri; Ricci, LAURA EMILIA MARIA
A microworld to learn concurrency
1998-01-01 G., Capretti; M. R., Lagana'; Ricci, LAURA EMILIA MARIA
A Microworld to Learn Concurrency
1998-01-01 Ricci, LAURA EMILIA MARIA; Giuseppina, Capretti; Maria Rita, Lagana
Decentralised Programming of Communicating Turtles,
1999-01-01 Capretti, G.; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA
A Concurrent Microworld
1999-01-01 Capretti, G.; Cisternino, Antonio; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA
Learning Concurrent Programming: A Constructionist Approach
1999-01-01 G., Capretti; M. R., Lagana'; Ricci, LAURA EMILIA MARIA
Adaptive multigrid methods in MPI
2000-01-01 Baiardi, Fabrizio; Chiti, S; Mori, P; Ricci, LAURA EMILIA MARIA
Evaluation of a Virtual Shared Memory Machine by the Compilation of Data Parallel Loops
2000-01-01 Baiardi, Fabrizio; D., Guerri; P., Mori; Ricci, LAURA EMILIA MARIA
An environment to Learn Concurrency
2000-01-01 G., Capretti; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Static Checking of Interprocess Communication in ECSP | 1-gen-1983 | Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA | |
Structuring Process for a Cooperative Approach to Fault-Tolerant Distributed Software | 1-gen-1984 | Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA; TOMASI A: VANNESCHI, M. | |
Static checking of interprocess communication in ECSP | 1-gen-1984 | Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA; Vanneschi, Marco | |
Concurrent Programming Tools for the MuTEAM Microprocessor System | 1-gen-1986 | Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Ricci, LAURA EMILIA MARIA; Tomasi, A; Vanneschi, Marco; Vaglini, Gigliola | |
Pipeline Optimizations in AND-Parallel Logic Programs | 1-gen-1990 | Ricci, LAURA EMILIA MARIA; Giacobazzi, R. | |
Detecting Determinate Computations by Bottom-up Abstract Interpretation | 1-gen-1992 | Ricci, LAURA EMILIA MARIA; Giacobazzi, R. | |
Congestion Prevention by Bounding in Distributed Memory Systems | 1-gen-1994 | Baiardi, Fabrizio; A., Candelieri; Ricci, LAURA EMILIA MARIA | |
General purpose massively parallel systems: the role of programming environments | 1-gen-1994 | Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA | |
A Static Analysis to Order Instructions of a Concurrent Program | 1-gen-1995 | Ricci, LAURA EMILIA MARIA; Baiardi, Fabrizio | |
A Static Analysis to Order Instructions of a Concurrent Program | 1-gen-1995 | Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA | |
Designing a Static Tool for Instruction Ordering of Highly Parallel Programs, | 1-gen-1996 | Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA | |
Massively Parallel Execution of Logic Programs: A Static approach | 1-gen-1997 | Baiardi, Fabrizio; A., Candelieri; Ricci, LAURA EMILIA MARIA | |
A microworld to learn concurrency | 1-gen-1998 | G., Capretti; M. R., Lagana'; Ricci, LAURA EMILIA MARIA | |
A Microworld to Learn Concurrency | 1-gen-1998 | Ricci, LAURA EMILIA MARIA; Giuseppina, Capretti; Maria Rita, Lagana | |
Decentralised Programming of Communicating Turtles, | 1-gen-1999 | Capretti, G.; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA | |
A Concurrent Microworld | 1-gen-1999 | Capretti, G.; Cisternino, Antonio; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA | |
Learning Concurrent Programming: A Constructionist Approach | 1-gen-1999 | G., Capretti; M. R., Lagana'; Ricci, LAURA EMILIA MARIA | |
Adaptive multigrid methods in MPI | 1-gen-2000 | Baiardi, Fabrizio; Chiti, S; Mori, P; Ricci, LAURA EMILIA MARIA | |
Evaluation of a Virtual Shared Memory Machine by the Compilation of Data Parallel Loops | 1-gen-2000 | Baiardi, Fabrizio; D., Guerri; P., Mori; Ricci, LAURA EMILIA MARIA | |
An environment to Learn Concurrency | 1-gen-2000 | G., Capretti; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile