Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Fondamenti della teoria degli algoritmi.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Vettori, pile e code
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Tecniche di analisi della complessita', di algoritmi e delle strutture dati
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Fondamenti della teoria delle strutture dati
* A - Algoritmi fondamentali
+ AL-AS - Algorithmic Strategies
Algoritmi di ricerca.
* A - Algoritmi fondamentali
+ AL-AS - Algorithmic Strategies
Algoritmi di ordinamento.
SDA - Strutture di Dati Avanzate
+ AL-AS - Algorithmic Strategies
Alberi di ricerca, red-black tree, B-alberi
V - Varie
+ AL-AS - Algorithmic Strategies
Progettazione e sperimentazione di algoritmi
TAA - Tecniche Algoritmiche Avanzate
+ AL-AS - Algorithmic Strategies
Strutture, tecniche e algoritmi per il bilanciamento di alberi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Algoritmi sui grafi.
TAA - Tecniche Algoritmiche Avanzate
* PD-PAAP - Parallel Algorithms, Analysis, and Programming
Principali criteri per il disegno, l'utilizzo, la scelta e la valutazione di strutture dati. Cenni agli algoritmi paralleli

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Proposizioni, predicati induttivi e regole di trasformazione, induzione matematica.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Calcolo differenziale.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Funzioni continue.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Successioni numeriche.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Limiti.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Disuguaglianze e disequazioni.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Generalità sulle funzioni e funzioni elementari.
MAT/01 - Logica Matematica
+ DS-SRF - Sets, Relations, and Functions
Generalità sugli insiemi e insiemi numerici, numeri costruibili e non costruibili.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Calcolo integrale
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Serie numeriche
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Funzioni di più variabili.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Equazioni differenziali

Sillabo dell'insegnamento

• E - Architetture
V - Varie
+ AR-DLDS - Digital Logic and Digital Systems
Introduzione storica sulle architetture degli elaboratori.
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Input/Output.
* LII - Livello Instruction Set
+ AR-MLRD - Machine Level Representation of Data
Linguaggio macchina.
* LMP - Livello di Microprogrammazione
+ AR-ALMO - Assembly Level Machine Organization
Struttura di un Computer al livello Microarchitetturale.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Progetto di Reti Logiche.
* AC - Aritmetica dei calcolatori
+ AR-DLDS - Digital Logic and Digital Systems
Rappresentazione delle Informazioni.
V - Varie
+ AR-MSOA - Memory System Organization and Architecture
Codici di rilevamento errori.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Sperimentazione di programmazione assembly
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Reti logiche
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Gerarchie di Memoria.
AA - Architetture Avanzate
AR-MAA - Multiprocessing and Alternative Architectures
Architetture ad elaborazione parallela.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Programmazione Assembler.

Sillabo dell'insegnamento

• G - Basi di dati
* PC - Progettazione concettuale
+ IM-IMC - Information Management Concepts
Modello ER e modello UML
* PL - Progettazione Logica
+ IM-DMo - Data Modeling
Ristrutturazione di schemi ER e traduzione di schemi ER in schemi relazionali
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
SQL
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Algebra relazionale e calcolo relazionale
TCR - Transazioni, Concorrenza e Recovery
* IM-TP - Transaction Processing
La nozione di transazione e le proprietà acide, concorrenza, recovery, buffer, ottimizzazione
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+ IM-DMo - Data Modeling
Strutture di indicizzazione, indici di singolo livello e multilivello, B-alberi e B+-alberi
* ML - Modelli logici
+ IM-DMo - Data Modeling
Modelli basati sui valori e sull'identità degli oggetti. Modelli ER, relazionale, orientato agli oggetti
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Architettuta di un DBMS, componenti di un DBMS
NBD - Normalizzazione di Basi di Dati
* IM-In - Indexing
Dipendenze funzionali, forme normali, tecniche di normalizzazione. XML

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
+ DS-BC - Basics of Counting
Probabilita' elementare
MAT/06 - Probabilita' e Statistica Matematica
+ DS-BC - Basics of Counting
Variabili casuali univariate: funzione di ripartizione, di densita', di massa, di probabilita',tasso di guasto
MAT/06 - Probabilita' e Statistica Matematica
+ DS-BC - Basics of Counting
Leggi univariate discrete e continue notevoli (binomiale, Poisson, esponenziale, gamma, Weibull, normale)
MAT/06 - Probabilita' e Statistica Matematica
+ DS-BC - Basics of Counting
Momenti e funzione generatrice dei momenti, con diseguaglianze e proprieta' collegate
MAT/06 - Probabilita' e Statistica Matematica
+ DS-BC - Basics of Counting
Variabili casuali bivariate e multivariate e leggi di funzioni di variabili casuali
MAT/06 - Probabilita' e Statistica Matematica
+ DS-BC - Basics of Counting
Legge dei grandi numeri e teorema limite centrale con applicazioni in Statistica

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Analisi degli errori
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Soluzione di sistemi lineari
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Trattamento dati e funzioni: interpolazione e approssimazione minimi quadrati
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Zeri di funzione
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Integrazione e differenziazione numerica
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Esempi in laboratorio di applicazioni numeriche per l'informatica

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi regolari, espressioni regolari, automi finiti.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche a struttura di frase e Gerarchia di Chomsky.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi liberi dal contesto, alberi di derivazione. Gerarchia di Chomsky.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Funzioni calcolabili e problemi decidibili.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Esistenza di problemi non decidibili. Problemi semidecidibili.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Insiemi creativi, produttivi e semplici. Riduzioni.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Modelli di calcolo: la Macchina di Turing. Halting Problem e Teorema SMN.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Enumerazione delle funzioni calcolabili, funzione universale. Tesi di Church.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Classi di complessità in tempo e spazio. Riduzioni. P ed NP.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
* SE-SPM - Software Project Management
Progettazione Object-Oriented. Progettazione funzionale.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Verifica e Validazione. Testing del Software, Software inspection.Dependability ed Affidabilita' del Sofware. Qualita' del Software. Standard sul Ciclo di Vita.
* ASW - Architetture Software
+ SE-SPRE - Software Processes and Requirement Engineering
Generalita' e Progetto Architetturale.
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Tecniche di modellizzazione dei sistemi e UML
* PSS - Processi di Sviluppo del Software
+ SE-SDC - Software Design and Construction
Concetti e Definizioni di Base dell'Ingegneria del Software. Gestione di un Progetto Software. Modello a cascata, modello a spirale, sviluppo incrementale.
* AR - Analisi dei Requisiti
+ SP-PEIPP - Professional Ethics, Intellectual Property, Privacy & Civil Liberties
Processo di ingegnerizzazione dei requisiti e aspetti legali della produzione del software

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-DI - Designing Interaction
Strumenti per l'Implementazione di Interfacce Utente. Valutazione di Usabilita'. Help.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
* HCI-F - Foundations
Metodi Formali nell'Interazione Uomo-Macchina. Guideline e Standard per le Interfacce Utente.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-UCD - User-Centered Design
Interazione Uomo-Macchina e Ciclo di Vita del Software. Environment. User, Task Analysis.
PIRV - Paradigmi di Interazione e Realta' Virtuale
+ HCI-PIS - Programming Interactive Systems
Periferiche per l'Interazione Uomo-Macchina. Modelli e Paradigmi di Interazione Uomo-Macchina.
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-UCD - User-Centered Design
Introduzione. Aspetti Psicologici dell'Interazione Uomo-Macchina.
PIRV - Paradigmi di Interazione e Realta' Virtuale
* HCI-HFS - Human Factors & Security
Computer-Supported Cooperative Work. Recenti Paradigmi di Interazione Uomo-Macchina.

Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Macchine astratte, linguaggi, interpretazione e compilazione. Introduzione alla struttura del compilatore.
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche libere da contesto. Vincoli di semantica statica.
* S - Semantica
* PL-SyA - Syntax Analysis
Sintassi e semantica formale per la descrizione dei linguaggi di programmazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Grammatiche regolari, DFA, NFA, e minimalizzazione. I generatori di scanner (Flex, Alex).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
I generatori di parser (Bison, Happy).
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-LTE - Language Translation and Execution
Macchina astratta del Pascal, esempio del P-code.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Il paradigma funzionale con esempi in linguaggio Haskell.
* S - Semantica
+ PL-BTS - Basic Type Systems
Sistemi di tipo, type cheking e inference
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Ambiente, regole di scoping, passaggio dei parametri. Gestione memoria.Tipi di dato e astrazioni sui dati. Controllo di sequenza, procedure, ricorsione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Logica con uguaglianza
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Logica proposizionale
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Logica predicativa
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Tableaux semantici.
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Forme normali
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Deduzione naturale

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Elementi di teoria degli insiemi.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Funzioni, relazioni ed equivalenze.
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Sommatorie. Il principio di induzione.
MAT/06 - Probabilita' e Statistica Matematica
+ DS-SRF - Sets, Relations, and Functions
Cenni di calcolo delle probabilità.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Elementi di teoria dei numeri, numeri primi e aritmetica intera.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Elementi di calcolo combinatorio.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Elementi di teoria dei grafi.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Spazi vettoriali, dipendenza ed indipendenza lineare, basi e dimensione.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Applicazioni lineari.
MAT/03 - Geometria
+ DS-SRF - Sets, Relations, and Functions
Matrici, somma, prodotto, inversa e determinante di matrici. Relazione tra applicazioni lineari e matrici.
MAT/08 - Analisi Numerica
+ DS-SRF - Sets, Relations, and Functions
Sistemi Lineari. Autovalori ed autovettori di un'applicazione lineare.
MAT/03 - Geometria
+ DS-SRF - Sets, Relations, and Functions
Spazi Euclidei.

Sillabo dell'insegnamento

• C - Programmazione
* SCP - Sviluppo e Correttezza dei Programmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Invarianti e correttezza dei programmi iterativi; problema della terminazione. Dimostrazioni per induzione e concetto di invariante.
* POO - Programmazione Orientata agli Oggetti
+ AL-FDA - Fundamental Data Structures and Algorithms
Elementi di programmazione object-oriented in Java: classi e oggetti; campi, costruttori e metodi.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Tecniche di memoization e programmazione dinamica.
PP - Paradigmi di Programmazione
+ AL-FDA - Fundamental Data Structures and Algorithms
Paradigma funzionale. Concetto di stato e paradigma imperativo/sequenziale. Rivisitazione delle strutture di dati elementari attraverso il paradigma imperativo.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati dal punto di vista dell'utilizzatore e dal punto di vista dell'implementatore. Pile e code.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Introduzione all'astrazione sui dati attraverso semplici dati strutturati. Specifica astratta di una struttura dati e diversità delle scelte realizzative. Dati di dimensione variabile.
* R - Ricorsione
+ AL-FDA - Fundamental Data Structures and Algorithms
Ricorsione generale e ricorsione di coda (tail recursion). Approccio iterativo come ricorsione di coda.
* P - Procedure
+ AL-FDA - Fundamental Data Structures and Algorithms
Procedure funzionali e procedure imperative.
* CB - Costrutti di Base
+ AL-FDA - Fundamental Data Structures and Algorithms
Costrutti dei programmi iterativi.
* R - Ricorsione
+ AL-FDA - Fundamental Data Structures and Algorithms
Definizioni ricorsive.
* SS - Sintassi e Semantica
+ AL-FDA - Fundamental Data Structures and Algorithms
Sintassi di Scheme. Modello di valutazione per sostituzione e riduzione.
* SS - Sintassi e Semantica
+ AL-FDA - Fundamental Data Structures and Algorithms
Principali comandi e costrutti del linguaggio Java.

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Esercitazioni
* POO - Programmazione Orientata agli Oggetti
* PL-EDRP - Event-Driven and Reactive Programming
Eventi. Eccezioni e loro gestione. Clonazione di oggetti. Thread: definizione, uso, sincronizzazione. Impiego del package Swing per la realizzazione di interfacce grafiche. Classi di utilità per l'impiego di strutture dati.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Costruttori e istanzazione di oggetti. Ereditarietà: costruzione di sottoclassi e polimorfismo. Riconoscimento a run-time di tipi. Classi interne: tipologie e utilizzo.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Concetti e metodologie di programmazione. Classi, oggetti, metodi, messaggi. Protocollo di specifica per le classi e loro realizzazione mediante incapsulamento di variabili e metodi. Istanzazione di classi su oggetti e definizione del loro stato.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Analisi funzionale di progettazione: identificazione delle componenti di un problema, definizione delle loro responsabilità e funzionalità, individuazione delle interazioni fra componenti, specifica dei relativi protocolli. Eccezioni e loro gestione.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Ereditarietà e polimorfismo: gerarchie di classi, classi astratte e interfacce, classi interne; riscrivibilità di metodi in gerarchie di classi e loro selezione dinamica.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Specializzazione e sostituibilità di implementazione. Pattern di progettazione: singleton, factory, chain of responsability, decorator, observer.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Linguaggio Java. Caratteristiche e costrutti principali del linguaggio. Realizzazione di classi, interfacce e classi astratte.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Tipi, variabili, metodi, messaggi; specifiche statiche e dinamiche, livelli di protezione per dati e metodi. Classi parametriche.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Introduzione alle reti di calcolatori.
* PT - Protocolli
+ NC-I - Introduction: Computer Network Architecture
Il modello ISO/OSI.
DR - Dispositivi di Rete
+ NC-I - Introduction: Computer Network Architecture
Principali componenti di una rete e tecniche di trasmissione dati.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
Reti a commutazione di circuito e reti datagram
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il livello di rete. Algoritmi di instradamento.
* PT - Protocolli
+ NC-NA - Networked Applications
Il livello di trasporto. Il livello delle applicazioni.
* MIR - Modelli di Interazione in Rete
+ NC-RDD - Reliable Data Delivery
Client/server, peer to peer
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Elementi di crittografia.
* SR - Sicurezza delle Reti
* IAS-PSD - Principles of Secure Design
Sicurezza a livello di rete e trasporto, firewall

Sillabo dell'insegnamento

• F - Sistemi operativi
* AMM - Amministrazione di sistema
+ OS-O - Overview of Operating Systems and Principles
Sistema dei permessi del file system, scripting della shell
PS - Programmazione di Sistema
+ AL-FDA - Fundamental Data Structures and Algorithms
Programmazione in C
GP - Gestione delle Periferiche
+ OS-SD - Scheduling and Dispatch
Interfaccia per le applicazioni. I dischi. Algoritmi di schedulazione dei dischi.
* FS - File System
* OS-FS - File Systems
Il file system. Il file: attributi, operazioni, struttura fisica, metodi di accesso. Le directory e la struttura logica di un file system. Aspetti di sicurezza e protezione. Implementazione dei file system. Operazioni su dischi, partizioni e file system. Cenni ai journaled file system.
GP - Gestione delle Periferiche
OS-DM - Device Management
Input/Output. Tipi di dispositivi di I/O. Il trattamento delle interruzioni, i driver di I/O. I/O bloccante, non bloccante, asincrono.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Gestione della memoria. Gerarchie di memoria. Strategie di allocazione, frammentazione. La memoria virtuale: paginazione a richiesta, algoritmi di sostituzione delle pagine, il thrashing, il modello Working set.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Programmazione concorrente. Race condition, sezioni critiche, mutua esclusione, sincronizzazione tra processi e memorie condivise, primitive di comunicazione e sincronizzazione. Stallo: definizione, modelli per lo stallo, identificazione, prevenzione.
* SCO - Struttura e Componenti di un sistema operativo
+ OS-MM - Memory Management
Kernel, gestione della memoria, dei processi e dell' I/O, interfaccia e servizi verso l'utente
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
I processi. Definizioni, concetti base, operazioni sui processi. Commutazione di contesto. I processi leggeri (threads): modello a thread. Lo scheduling dei processori: concetti di base, algoritmi di scheduling.
SAA - Sistemi operativi per Architetture Avanzate
+ PD-PF - Parallelism Fundamentals
Aspetti generali e introduzione al parallelismo
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Architettura monolitica/microkernel, stratificazione del sistema operativo, virtualizzazione
PS - Programmazione di Sistema
* PD-CC - Communication and Coordination
Utilizzo delle chiamate di sistema in linguaggio C. Comunicazione e coordinazione tra theads