PRAVADELLI, Graziano

PRAVADELLI, Graziano  

DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE  

Mostra records
Risultati 1 - 20 di 162 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
A 1000X Speed Up for Properties Completeness Evaluation 1-gen-2002 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A CLP-based Functional ATPG for Extended FSMs 1-gen-2007 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 1-gen-2009 Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms 1-gen-2014 Filippo, Cucchetto; Lonardi, Alessandro; Pravadelli, Graziano
A containerized ROS-compliant verification environment for robotic systems 1-gen-2021 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 1-gen-2012 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
A freely available system for human activity recognition based on a low-cost body area network 1-gen-2022 Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano
A graph-based approach for mobile localization exploiting real and virtual landmarks 1-gen-2018 Demrozi, Florenc; Costa, Kevin; Tramarin, Federico; Pravadelli, Graziano
A low-cost BLE-based distance estimation, occupancy detection and counting system 1-gen-2021 Demrozi, F.; Chiarani, F.; Pravadelli, G.
A low-cost wireless body area network for human activity recognition in healthy life and medical applications 1-gen-2023 Demrozi, Florenc; Turetta, Cristian; Kindt, Philipp H.; Chiarani, Fabio; Bacchin, Ruggero; Vale', Nicola; Pascucci, Francesco; Cesari, Paola; Smania, Nicola; Tamburin, Stefano; Pravadelli, Graziano
A Methodology for Abstracting RTL Designs into TL Descriptions 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A model-based design flow for Dynamic Partial Reconfigurable FPGAs 1-gen-2019 Giordano, Enrico; DI MARCO, Federico; Pravadelli, Graziano
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A parallelizable approach for mining likely invariants 1-gen-2015 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 1-gen-2005 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Smooth Refinement Flow for Co-designing HW and SW Threads 1-gen-2007 Destro, Paolo; Fummi, Franco; Pravadelli, Graziano
A SystemC-based Framework for Properties Incompleteness Evaluation 1-gen-2003 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
A testbench specification language for SystemC Verification 1-gen-2012 DI GUGLIELMO, Giuseppe; Pravadelli, Graziano
A time-window based approach for dynamic assertions mining on control signals 1-gen-2015 Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano
A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC 1-gen-2004 L., Formaggio; Fummi, Franco; Pravadelli, Graziano