Sistemi informatici e calcolo parallelo

Progetto finalizzato sistemi informatici e calcolo parallelo, di B. Fadini
Parte I - Calcolo scientifico per grandi sistemi
Panoramica sui risultati del sottoprogetto I "calcolo scientifico per grandi sistemi", di L. Moltedo
Software matematico per architetture avanzate: software numerico di base e applicazioni fluidodinamiche, di A. Murli
Problemi nella produzione di software parallelo industriale: congruenza tra macchine e applicazioni, struttura dei programmi, algoritmi, di L. Brusa, A. Crise, A. Russo, F.P. Murgolo
Grafica e supercalcolo: ricerca e applicazioni, di L. Moltedo, P. Palamidese
Metodi, applicazioni e programmi di calcolo per lo studio di proprietà molecolari dipendenti dallo spin elettronico: integrali spin-orbita, di R.D. Amos, P. Palmieri
Fisica della materia condensata e simulazione su supercalcolatori: dinamica molecolare da principi primi, di R. Car, L. Reatto
Parte II - Processori dedicati
Il sottoprogetto processori dedicati, di F. Denoth, 0. Salvetti
Sistemi composti per l'analisi di immagini, di V. Cantoni, S. Levialdi, V. Di Gesù, S. Impedovo, G. Sanniti, A. Machì, R. Negrini
Una architettura MIMD dedicata alla sintesi di immagini, di D. Marini
Un sistema real time orientato alla diagnosi non distruttiva per immagini, di L. Azzarelli, M. Bramanti, M. Chimenti, E. Salerno, 0. Salvetti
Modelli non convenzionali per il routing di collegamenti, di E. Lodi, F. Luccio, L. Pagli, X. Song
Prototipi hardware / software di architetture parallele per elaborazioni inferenziali e per linguaggi logici, di P. Civera, P. Corsini, M. Dorigo
Proprietà dinamiche di reti neurali asimmetriche, di B. Apolloni. P. Campadelli. A. Petrosino. R. Tagliaferri
Parte III - Architetture parallele
Architetture parallele, di M. Vanneschi
Architetture general-purpose per multiprocessor a memoria distribuita: il sistema PiNa2, di R. Vaccaro, I. De Falco, F. Baiardi, M. Vanneschi
Ambienti di programmazione a parallelismo esplicito: Po, Disc e Ask, di M. Boari. A. Corradi. M. Di Santo, A. Mazzeo, C. Savy
Strumenti Per la parallelizzazione di linguaggi logici: Fix-up, Optima, Palm, di F. Baiardi, A. Candelieri, D. Di Bella, L. Ricci, G. Spezzano, D. Talia
Un sistema operativo ad alto parallelismo per multiprocessor a memoria distribuita, di M.R. Nazzarelli, T. Vardanega, G. Serazzi, M. Vanneschi
Analisi delle prestazioni di sistemi multiprocessor a memoria distribuita, di G. Balbo, M.C. Calzarossa, G. Iazeolla, G. Serazzi
Parte IV - Linguaggi di nuova concezione
Linguaggi di nuova concezione, di F. Turíni
Interpretazione astratta di programmi logici, di R. Barbuti, R. Giacobazzi, G. Levi
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria, di R. De Nicola, A. Fantechi, S. Gnesi, G. Ristori
Progettazione ed implementazione di sistemi per il trattamento di oggetti assiomatizzabili, di G. Cioni, A. Miola, M.T. Molfino
Le continuazioni ed il parallelismo strutturato, di M. Bigliardo, M. Furnari, M. Giordano, A. Massarotti
Parte V -Sistemi evoluti per basi di dati
Sistemi evoluti per basi di dati, di D. Saccà
Database++: un sistema di gestione di basi di dati a oggetti, di
A. Albano
Linguaggi dichiarativi e architetture per basi di dati a oggetti
complessi, di P. Atzení
Multidata: metodologie di progetto, architetture e modelli di interazione per l'integrazione di dati multimediali, di F. Bonfati, A. D'Atri, E. Nardelli, M. Talamo
Multi+: un accesso multimediale a basi di dati distribuite eterogenee, di M. Capurso, G. Maiorano, G. Galasso. R. Scuotto
Fire: un prototipo di ambiente di sviluppo per interfacce intelligenti e cooperative per l'accesso a banche di dati bibliografici, di G. Brajnik, C. Tasso, L. Mastrodonato, C. Scaroni
Parte VI - Metodi e strumenti
per la progettazione di sistemi
Sottoprogetto 6. Metodi e strumenti per la progettazione dei sistemi, di C. Batini
Un ambiente integrato per lo sviluppo del software, di C.
Montangero
Specter: specifica, progetto e convalida di sistemi in tempo reale, di D. Mandrioli
Infokit: un ambiente orientato all'utente finale per lo sviluppo
e utilizzo di sistemi informativi, di L. Sansone
Parte VII - Sistemi di supporto al lavoro intellettuali
Sistemi di supporto al lavoro intellettuale, di C. Maioli
Sistemi ibridi, di M. Lenzerini, D. Nardi
Stazione di lavoro musicale intelligente: architettura funzionale e applicazioni, di G. Haus, R. Zaccaria
Uso di modelli causali in sistemi basati su conoscenza, di P. Lombardo, A. Martelli, L. Saitta, P. Torasso
Un sistema esperto per la gestione di pazienti cardiotrapiantati, di C. Larizza, M. Stefanelli
KBLab: un laboratorio per sperimentare tecniche di riscrittura, di G. Degli Antoni, A. Paccanaro
La modellistica qualitativa per la costruzione di sistemi esperti, di M. Di Manzo
Parte VIII - Iniziative di supporto per il calcolo parallelo
e per l'ingegneria del software
Iniziative di supporto, di S. Trumphy
L'iniziativa di supporto al calcolo parallelo per diffondere l'uso di nuovi paradigmi computazionali, di D. Laforenza
Il "reverse engineering" nella analisi, documentazione, manutenzione e validazione del software, di A. Cimitile, U. De Carlini, M. Fusani

Collana: Scientifica