 | Up a level |
Bonedomane, Simone and Fummi, Franco (rel.) and Quaglia, Davide (correl.) (2005) [BM Tesi I 0281]. - Realizzazione di un algoritmo di routing per una rete di sensori : valutazione delle prestazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Aldà, Roberto and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2004) [BM Tesi I 0148]. - Il test funzionale di sistemi programmabili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vedovi, Ilaria and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2004) [BM Tesi I 0212]. - Analisi della correlazione tra copertura di guasto funzionale e proprietà temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Scalco, Christian and Fummi, Franco (rel.) (2004) [BM Tesi I 0213]. - Requisiti hardware e software per applicazioni per dispositivi wireless. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Voltolini, Francesca and Fummi, Franco (rel.) and Collini, Amos (correl.) (2004) [BM Tesi I 0214]. - Realizzazione di un software embedded per un sistema di misure automatiche su wafer. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Voltolini, Francesca and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2003) [BM Tesi I 0141]. - Utilizzo di informazioni gerarchiche per l'ottimizzazione del test funzionale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Sturla, Simona and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0159]. - Verifica funzionale come supporto all'analisi di completezza di un insieme di proprietà. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Camero, Enrico and Fummi, Franco (rel.) and Perbellini, Giovanni (correl.) and Martini, Stefano (correl.) (2003) [BM Tesi I 0259]. - Applicazione per terminali mobili : lato server. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cordibella, Stefano and Fummi, Franco (rel.) and Perbellini, Giovanni (correl.) and Martini, Stefano (correl.) (2003) [BM Tesi I 0260]. - Applicazione per terminali mobili : lato client. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lavarini, Roberto and Fummi, Franco (rel.) (2003) [BM Tesi I 0262]. - Analisi e comparazione delle architetture intel e AMD a 32 e 64 bit. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bombieri, Nicola and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0272]. - Verifica funzionale di sistemi embedded di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Sacco, Matteo and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2003) [BM Tesi I 0287]. - Metodologia di test funzionale basata su macchine a stati finiti estese. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Menegolli, Diego and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0288]. - Simulazione di dispositivi embedded di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marconcini, Cristina and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0289]. - Relazione tra modelli di guasto a diversi livelli di astrazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Formaggio, Luca and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0290]. - Una tecnica di co-simulazione accurata temporalmente per sistemi embedded. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
El Yahyaoui, Farid and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2002) [BM Tesi I 0187]. - Annotazione automatica di descrizioni HDL per la misurazione di statement coverage. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zardini, Martina and Fummi, Franco (rel.) and Tecchiolli, Giampietro (correl.) (2002) [BM Tesi I 0209]. - Validazione di algoritmi di riconoscimento di impronte digitali su sistemi ad elevata integrazione (SOC). Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ruggeri, Alberto and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0007]. - Valutazione di sistemi operativi embedded e relative applicazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Galavotti, Matteo and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2001) [BM Tesi I 0008]. - Il test funzionale di interfacce HW/SW. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Baltieri, Claudio and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0010]. - Una metodologia di progetto ad alto livello di dispositivi di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cason, Eros and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0011]. - Impatto tecnologico dei sistemi per la videoconferenza sulle reti IP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Azzoni, Paolo and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2001) [BM Tesi I 0018]. - Tecniche semiformali di verifica per il test funzionale di dispositivi hardware. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Stefano and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0021]. - Modellazione di protocolli di rete per la sintesi automatica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Agliada, Nicola and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2001) [BM Tesi I 0033]. - Simulazione e co-simulazione hardware e software per la progettazione di sitemi digitali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Facciotti, Giancarlo and Fummi, Franco (rel.) and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0034]. - Applicazione di teorie di interpratazione astratta e analisi statica su codici HDL comportamentali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Signoretto, Denis and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2001) [BM Tesi I 0038]. - Generazione del test funzionale per architetture basate su IP-Core. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Signoretto, Mirko and Fummi, Franco (rel.) (2000) [BM Tesi I 0041]. - Generazione del test funzionale per descrizioni hardware-software basata su tecniche di giustificazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pravadelli, Graziano and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2000) [BM Tesi I 0042]. - Simulazione di errore per descrizioni VHDL e systemC per il test funzionale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Peroni, Alessandro and Fummi, Franco (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0045]. - Il test funzionale per sistemi digitali basato su programmazione logica con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Perbellini, Giovanni and Fummi, Franco (rel.) and Sartori, Alvise (correl.) (2000) [BM Tesi I 0046]. - Generazione automatica di descrizioni VHDL parametriche per processori IP-Core. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pavani, Walter and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2000) [BM Tesi I 0047]. - Tecniche per la realizzazione di sistemi embedded distribuiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cailotto, Stefano and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2000) [BM Tesi I 0051]. - Progetto incrementale con capacità di tolleranza ai guasti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brazzarola, Marco and Fummi, Franco (rel.) (1999) [BM Tesi I 0075]. - Il problema della riduzione del consumo di potenza in circuiti con caratteristiche di autocollaudo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
