Questa tesi si articola in due parti. Nella prima viene illustrato il lavoro svolto nell'ambito del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la realizzazione di un framework per il calcolo parallelo e distribuito chiamato FLOW, applicato alla simulazione d'impianto di centrali elettriche turbogas. Nella seconda parte viene invece introdotta una descrizione e un'analisi formale delle applicazioni sviluppate utilizzando FLOW: vengono definite due implementazioni dotate di semantica (una basata sul pi-calcolo, ed una sul linguaggio di coordinamento Linda), e vengono analizzate e verificate alcune proprietà ed equivalenze legate alla topologia della comunicazione inter-processo.

FLOW: Implementazione e analisi formale di un framework per il calcolo parallelo e distribuito

SCALAS, ALCESTE;
2011-01-01

Abstract

Questa tesi si articola in due parti. Nella prima viene illustrato il lavoro svolto nell'ambito del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la realizzazione di un framework per il calcolo parallelo e distribuito chiamato FLOW, applicato alla simulazione d'impianto di centrali elettriche turbogas. Nella seconda parte viene invece introdotta una descrizione e un'analisi formale delle applicazioni sviluppate utilizzando FLOW: vengono definite due implementazioni dotate di semantica (una basata sul pi-calcolo, ed una sul linguaggio di coordinamento Linda), e vengono analizzate e verificate alcune proprietà ed equivalenze legate alla topologia della comunicazione inter-processo.
2011
hpc, erlang, pi calculus
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/75850
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact