Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 252
Titolo Data di pubblicazione Autore(i) File
A temporal logic approach to specify and to prove properties of finite state concurrent systems 1-gen-1989 Danelutto, Marco; A., Masini
A temporal logic approach to specify and to prove properties of finite state concurrent systems 1-gen-1989 Danelutto, Marco; Masini, A.
Design and distributed implementation of parallel logic language Shared Prolog. 1-gen-1990 Ambriola, Vincenzo; Ciancarini, P; Danelutto, Marco
Extending the VLIW approach to fine grain parallelism exploitation beyond single control unit machines 1-gen-1990 Danelutto, Marco
VLIW-in-the-large: a model for fine grain parallelism exploitation on distributed memory multiprocessors 1-gen-1990 Danelutto, Marco; Vanneschi, Marco
Pisa Parallel Processing Project on general-purpose highly-parallel computers. 1-gen-1991 Baiardi, Fabrizio; Danelutto, Marco; DI MEGLIO, R; Jazayeri, M; Mackey, M; Pelagatti, Susanna; Petrini, F; Sullivan, T; Vanneschi, Marco
Architectural models and design methodologies for general-purpose highly-parallel computers 1-gen-1991 Baiardi, Fabrizio; Danelutto, Marco; Jazayeri, M.; Pelagatti, Susanna; Vanneschi, Marco
High level language constructs for massively parallel computing 1-gen-1991 Danelutto, Marco; Di MEGLIO, R; Pelagatti, S. VANNESCHI M.
Implementation of a synchronous communication primitive in a loosely coupled system: a correctness proof 1-gen-1992 Danelutto, Marco; A., Masini
A methodology for the development and support of massively parallel programs 1-gen-1992 Vanneschi, Marco; Danelutto, Marco; DI MEGLIO, R.; Orlando, S; Pelagatti, Susanna
Parallel Implementation of FP using a Template-Based Approach 1-gen-1993 Danelutto, Marco; Pelagatti, Susanna
Resource Optimization via Structured Parallel Programming 1-gen-1994 Bacci, B; Danelutto, Marco; Pelagatti, Susanna
Efficient compilation of structured parallel programs for distributed memory MIMD machine 1-gen-1994 Bacci, B; Danelutto, Marco; Orlando, S; Pelagatti, Susanna; Vanneschi, Marco
Working group report: Skeletons/Templates 1-gen-1994 Danelutto, Marco
Evaluating the VLIW-in-the-large 1-gen-1994 Bacci, B; Chiti, E; Danelutto, Marco; Vanneschi, Marco
Unbalanced computations onto a transputer grid 1-gen-1995 Bacci, B; Danelutto, Marco; Orlando, S; Pelagatti, Susanna; Vanneschi, Marco
Unbalanced Computations onto a Transputer Grid 1-gen-1995 Bacci, B; Danelutto, Marco; Pelagatti, Susanna; Orlando, S; Vanneschi, Marco
Summarising an experiment in parallel programming language design 1-gen-1995 B., Bacci; Danelutto, Marco; Pelagatti, Susanna; Vanneschi, Marco; S., Orlando
P3L: A structured high level programming language and its structured support 1-gen-1995 B., Bacci; Danelutto, Marco; S., Orlando; Pelagatti, Susanna; Vanneschi, Marco
A methodology for the development and the support of massively parallel programs 1-gen-1995 Danelutto, Marco; DI MEGLIO, R; Orlando, S; Pelagatti, Susanna; Vanneschi, Marco
Mostra risultati da 1 a 20 di 252
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