Sfoglia per Autore
SAGA: SystemC acceleration on GPU architectures
2012-01-01 Vinco, Sara; Debapriya, Chatterjee; Valeria, Bertacco; Fummi, Franco
On the automatic synthesis of parallel SW from RTL models of hardware IPs
2012-01-01 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
Dynamic property mining for embedded software
2012-01-01 Bonato, Marco; DI GUGLIELMO, Giuseppe; Masahiro, F.; Fummi, Franco; Pravadelli, Graziano
Combining Dynamic Slicing and Mutation Operators for ESL Correction
2012-01-01 Repinski, U.; Hantson, H.; Jenihhin, M.; Raik, J.; Ubar, R.; DI GUGLIELMO, Giuseppe; Pravadelli, Graziano; Fummi, Franco
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
2012-01-01 M., Becker; G. B., Gnokam Defo; W., Mueller; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection
2012-01-01 Guarnieri, Valerio; Fummi, Franco; K., Chakrabarty
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software
2012-01-01 Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems
2012-01-01 Diego, Braga; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara
On the Reuse of TLM Mutation Analysis at RTL
2012-01-01 Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R.
Time-Constraint-Aware Optimization of Assertions in Embedded Software
2012-01-01 Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M.
Refinement of UML/MARTE models for the design of networked embedded systems
2012-01-01 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Energy Aware TLM Platform Simulation via RTL Abstraction
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; A., Acquaviva
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Enabling dynamic assertion-based verification of embedded software through model-driven design
2012-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Automatic HDL Conversion and Abstraction Methodologies
2013-01-01 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs
2013-01-01 Bombieri, Nicola; Fummi, Franco; Vinco, Sara
Teaching embedded software design with radSUITE
2013-01-01 Fummi, Franco; Cristina, Marconcini; Pravadelli, Graziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SAGA: SystemC acceleration on GPU architectures | 1-gen-2012 | Vinco, Sara; Debapriya, Chatterjee; Valeria, Bertacco; Fummi, Franco | |
On the automatic synthesis of parallel SW from RTL models of hardware IPs | 1-gen-2012 | A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara | |
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
Dynamic property mining for embedded software | 1-gen-2012 | Bonato, Marco; DI GUGLIELMO, Giuseppe; Masahiro, F.; Fummi, Franco; Pravadelli, Graziano | |
Combining Dynamic Slicing and Mutation Operators for ESL Correction | 1-gen-2012 | Repinski, U.; Hantson, H.; Jenihhin, M.; Raik, J.; Ubar, R.; DI GUGLIELMO, Giuseppe; Pravadelli, Graziano; Fummi, Franco | |
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution | 1-gen-2012 | M., Becker; G. B., Gnokam Defo; W., Mueller; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara | |
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection | 1-gen-2012 | Guarnieri, Valerio; Fummi, Franco; K., Chakrabarty | |
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software | 1-gen-2012 | Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano | |
The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems | 1-gen-2012 | Diego, Braga; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara | |
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara | |
On the Reuse of TLM Mutation Analysis at RTL | 1-gen-2012 | Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R. | |
Time-Constraint-Aware Optimization of Assertions in Embedded Software | 1-gen-2012 | Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M. | |
Refinement of UML/MARTE models for the design of networked embedded systems | 1-gen-2012 | Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Energy Aware TLM Platform Simulation via RTL Abstraction | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; A., Acquaviva | |
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Enabling dynamic assertion-based verification of embedded software through model-driven design | 1-gen-2012 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
Automatic HDL Conversion and Abstraction Methodologies | 1-gen-2013 | Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter | |
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs | 1-gen-2013 | Bombieri, Nicola; Fummi, Franco; Vinco, Sara | |
Teaching embedded software design with radSUITE | 1-gen-2013 | Fummi, Franco; Cristina, Marconcini; Pravadelli, Graziano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile