Esito Esami

Contact address: scuola-dottorato@diana.disi.unige.it

Annuncio preliminare in formato tex e dvi

Modulo di iscrizione (e modalita' di pagamento) in formato tex e dvi

Per sostenere l'esame del corso di Sistemi Operativi del prof. P. Ciancarini, sara' necessario consultare il seguente materiale su Java. E' disponibile una lista completa di libri su Java, tra questi Hooked on Java.

Sponsorizzazione

• Dip. di Informatica, Universita' di Bologna (sedi consorziate Padova e Venezia);
• Dip. di Informatica e Scienze dell' Informazione, Universita' di Genova;
• Dip. di Scienze dell' Informazione, Universita' di Milano;
• Dip. di Informatica, Universita' di Pisa (sede consorziata Udine);
• Dip. di Scienze dell' Informazione, Universita' di Roma;
• Dip. di Matematica, Universita' di Siena;
• Dip. di Informatica, Universita' di Torino.

Indirizzo centro convegni

tel:+39-577-356851 / fax:+39-577-356669

• Basi di Dati (DB), Prof. Elisa Bertino (Univ. di Milano)
• Concorrenza (Con), Prof. Ugo Montanari (Univ. di Pisa)
• Sistemi Operativi (OS), Prof. Paolo Ciancarini (Univ. di Bologna)

• Basi di Dati Il corso e' organizzato in due parti: nella prima si introducono i modelli dei dati ed i linguaggi per la manipolazione dei dati, nella seconda si presentano alcuni aspetti relativi alle tecniche di ottimizzazione delle interrogazioni.
  1. Il modello relazionale: l'algebra relazionale, operazioni di modifica, viste, modifiche attraverso le viste. Il modello relazionale con vincoli.
  2. Modelli dei dati orientati ad oggetti: concetti di oggetto, identita', classe, ereditarieta', overloading, polimorfismo, overriding. Il modello Chimera. Cenni ai linguaggi di interrogazione per basi di dati ad oggetti.
  3. Basi di dati attive: triggers, proprieta' di terminazione e confluenza.
  4. Strutture di accesso per basi di dati: B-alberi e B+-alberi; cenni alla tecnica di hashing estendibile. Ottimizzazione di interrogazioni in basi di dati relazionali: stima dei costi e dei fattori di selettivita'.
  5. Strutture di accesso specializzate per basi di dati ad oggetti: path index, nested-inherited index. Indexing graph e problema dell'allocazione ottima.
  Testi di riferimento:
  • J. Ullman, "Principles of Database and Knowledge-Base Systems" (Volume 1), Computer Science Press.
  • E. Bertino, L. Martino, "Object-Oriented Database Systems - Concepts and Architectures" Addison-Wesley International, 1993.
  Modalita' di esame: piccola ricerca su tema da concordare con il docente.

• Concorrenza Il corso introduce la semantica della concorrenza, con particolare attenzione ai sistemi a scambio di messaggi ed agli aspetti non interleaving (true concurrency).
  1. Le reti di Petri. Sistemi C/E e reti P/T. Reti di occorrenza deterministiche e nondeterministiche. Processi non sequenziali. Strutture di eventi. Domini algebrici primi.
  2. Il CCS. Alberi di sincronizzazione. Bisimulazione. Equivalenza/congruenza osservazionale forte e debole. Osservazioni non interleaving. Equivalenze basate sulla localita' e sulla causalita'.
  3. Il pi-calcolo. Semantiche early, late e open. Pi-calcolo higher-order. Linguaggi funzionali concorrenti.
  4. Concorrenza in sistemi di transizioni con struttura algebrica (p.e. reti di Petri, sistemi di riscrittura di grafi); modelli di calcolo per la programmazione concorrente con vincoli; sistemi di riscrittura di termini; modelli concorrenti per il lambda-calcolo.
  Testi di riferimento:
  • Winskel, G., Event Structures, in: W. Brauer, W. Reisig and G. Rozenberg, Eds., Petri Nets: Applications and Relationships to Other Mode ls of Concurrency, LNCS 255, 1986.
  • Degano, P., Meseguer, J. and Montanari, U., Axiomatizing Net Computations and Processes, Proc. 4th Symp. on Logics in Computer Science, IEEE 1989, pp. 175-185.
  • Milner, R., Lectures on a Calculus for Communicating Systems, In: Control Flow and Data Flow - Concepts of Distributed Programming (M. Broy Ed.), NATO ASI Series F, Vol. 14, Springer, Berlin, 1985, pp. 7-106.
  • Montanari, U. and Yankelevich, D., A Parametric Approach to Localities, in: W. Kuich, Ed., Automata, Languages and Programming, 19th International Colloquium, Springer LNCS 623, 1992, pp. 617-628.
  • Tutorial on the Pi-Calculus, in: Quaglia, P., The Pi-Calculus with Explicit Substitutions, PhD Thesis TD-09-96, Dipartimento di Informatica, Universita' di Pisa, Chapter 1, pp.17-38.
  • Corradini, A., Ehrig, H., L=F6we, M., Montanari, U. and Rossi, F., Abstract Approach to Graph Transformation II: Models of Computation in the Double Pushout Approach, in: G Rozenberg et al., Eds., The Handbook of Graph Rewriting, to appear.
  • Montanari, U. and Rossi, F., Concurrency and Concurrent Constraint Programming, in: Andreas Podelski, Ed., Constraint Programming: Basics and Trends, Springer LNCS 910, 1995, pp.171-192.
  • Laneve, C. and Montanari, U., Axiomatizing Permutation Equivalence in the Lambda Calculus, in: H. Kirchner and G. Levi, Eds., Algebraic and Logic Programming, Third International Conference, Volterra, Italy, Springer LNCS 632, 1992, pp. 350-363.
  Modalita' di esame: esame scritto.

• Sistemi Operativi
  1. Richiami sull'architettura dei sistemi operativi
  2. Sistemi operativi distribuiti
  3. Cenni su linguaggi di programmazione distribuita e coordinazione
  4. Il middleware di Internet e dei principali servizi di rete
  5. Nuove tecnologie software (oggetti distribuiti ed interoperabili)
  Testi di riferimento: Tanenbaum, Distributed Operating Systems, 1995
  Modalita' di esame: piccolo progetto.

L'universita' di Siena fornisce informazioni su come raggiungere Siena in auto, autobus e treno.

Come raggiungere Pontignano dalla stazione di Siena

1. Prendere un bus qualunque sul lato opposto alla Stazione per La Lizza.
2. Da La Lizza vi e' un servizio bus per Pontignano, corsa dura circa 20 minuti.

Come raggiungere Pontignano in auto

1. Uscire dalla superstrada (provenendo da Firenze) a Siena Nord (per chi proviene da altre direzioni: seguire le indicazioni per Firenze ed uscire a Siena Nord);
2. Dirigersi verso la stazione, superarla e raggiungere un semaforo, da cui si dipartono tre strade: una decisamente a sinistra, una diritta ed una tra le due. Questa e' quella che va presa (si chiama via Sardegna).
3. Proseguire seguendo le indicazioni per Gaiole o Montevarchi. Si trova ad un certo punto un semaforo alla fine di un ponte. Continuare superando un passaggio a livello, finche' si arriva a Ponte a Bozzone.
4. Nel paese, sulla sinistra, deviazione per la Certosa di Pontignano (con cartello).
5. Proseguire fiduciosamente su una stradina ripida e diritta finche' si finisce alla Certosa (parcheggio all'esterno).

Organizzazione