Sfoglia per Autore

opzioni
Mostra risultati da 1 a 20 di 189
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.
General purpose massively parallel systems: the role of programming environments 1-gen-1994 Baiardi, Fabrizio; Ricci, LAURA EMILIA MARIA
Congestion Prevention by Bounding in Distributed Memory Systems 1-gen-1994 Baiardi, Fabrizio; A., Candelieri; Ricci, LAURA EMILIA MARIA
A Static Analysis to Order Instructions of a Concurrent Program 1-gen-1995 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
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 Ricci, LAURA EMILIA MARIA; Giuseppina, Capretti; Maria Rita, Lagana
A microworld to learn concurrency 1-gen-1998 G., Capretti; M. R., Lagana'; Ricci, LAURA EMILIA MARIA
Learning Concurrent Programming: A Constructionist Approach 1-gen-1999 G., Capretti; M. R., Lagana'; Ricci, LAURA EMILIA MARIA
A Concurrent Microworld 1-gen-1999 Capretti, G.; Cisternino, Antonio; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA
Decentralised Programming of Communicating Turtles, 1-gen-1999 Capretti, G.; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA
A hierarchical approach to irregular problems 1-gen-2000 Baiardi, Fabrizio; P., Becuzzi; S., Chiti; Ricci, LAURA EMILIA MARIA
Array Region Analyses by Abstract Interpretation Approaches 1-gen-2000 Ricci, LAURA EMILIA MARIA
An environment to Learn Concurrency 1-gen-2000 G., Capretti; Lagana', MARIA RITA; Ricci, LAURA EMILIA MARIA
Mostra risultati da 1 a 20 di 189
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