| Argomento | Persone | Descrizione |
|---|---|---|
| Architetture avanzate e parallele |
Nicola Bombieri
|
Applicazioni Software parallele per architeture multi- (multiprocessore) e many-core (GPU). Linguaggi e ambienti per la programmazione parallela: CUDA, OpenCL, OpenACC, OpenMP, MPI. |
| Progettazione di sistemi embedded e IoT |
Nicola Bombieri
Dong Seon Cheng Franco Fummi Michele Lora Graziano Pravadelli |
Tecniche per la progettazione automatica di hardware/software per sistemi embedded modellati a livello transazionale (TLM), con particolare attenzione a: - sintesi e astrazione RTL-TLM - astrazione da moduli RTL a software - generazione automatica di transattori TLM - generazione automatica di device driver - software embedded per sistemi multi-core e many-core - modellazione basata su linguaggi di descrizione dell'hardware - progettazione basata su middleware |
| Sistemi ciberfisici |
Dong Seon Cheng
Franco Fummi Michele Lora |
Tecniche per la modellazione, progettazione e verifica di sistemi ciberfisici, particolarmente orientate ai sistemi ciberfisici per la produzione - rappresentazione e verifica dei requisiti - software per la gestione della produzione - digital-twin |
| Sistemi embedded di rete |
Franco Fummi
Graziano Pravadelli |
Tecniche per la progettazione di sistemi embedded di rete, particolarmente orientate a: - co-progettazione di sistemi embedded di rete - co-simulazione di sistemi embedded di rete - progettazione centrata sulla qualità del servizio - reti di sensori e sistemi M2M |
| Verifica di sistemi embedded |
Franco Fummi
Michele Lora Graziano Pravadelli |
Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time |
© 2025 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
