|
|
|
|
|
|
|
Notiziario Marketpress di
Mercoledì 09 Novembre 2011 |
|
|
|
|
|
10º WORKSHOP SUGLI ASPETTI QUANTITATIVI DEI LINGUAGGI DI PROGRAMMAZIONE
|
|
|
|
|
|
Tallinn, 9 novembre 2011 - Il decimo workshop sugli aspetti quantitativi dei linguaggi di programmazione si terrà dal 31 marzo al 1º aprile 2012 a Tallinn, in Estonia. Gli aspetti quantitativi in informatica sono correlati all´uso di grandezze fisiche (come lo spazio, il tempo e la larghezza di banda) e quantità matematiche (tra cui la probabilità e le misure di affidabilità, sicurezza e fiducia ). Queste quantità hanno un ruolo centrale nel definire sia l´architettura, la progettazione del linguaggio, la semantica di un sistema e le metodologie e gli strumenti per l´analisi e la verifica delle proprietà di sistema. Il workshop sarà un forum per discutere l´uso delle informazioni quantitative sia direttamente nel modello che come strumento per l´analisi dei sistemi. I temi riguarderanno tra l´altro: progettazione di linguaggi quantistici probabilistici in tempo reale e la definizione di modelli semantici per tali linguaggi; discussione di metodologie per l´analisi della probabilistica e tempistica, e di altre proprietà quantificabili e l´utilizzo delle risorse; analisi probabilistica di sistemi che non incorporano esplicitamente aspetti quantitativi; applicazioni per sistemi safety-critical, protocolli di comunicazione, sistemi di controllo, hardware asincrono e altri domini che coinvolgono aspetti quantitativi. Per ulteriori informazioni, visitare: http://www1.Isti.cnr.it/~massink/events/qapl2012/ |
|
|
|
|
|
<<BACK |
|
|
|
|
|
|
|