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