CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 150
Titolo Data di pubblicazione Autore(i) File
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
On the automatic synthesis of parallel SW from RTL models of hardware IPs 1-gen-2012 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; 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
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
SMAC: Smart Systems Co-Design 1-gen-2013 Bombieri, Nicola; D., Drogoudis; G., Gangemi; R., Gillon; E., Macii; M., Poncino; S., Rinaudo; Stefanni, Francesco; D., Trachanis; M., van Helvoort
GRAPES: a Software for Parallel Searching on Biological Graphs targeting Multi-core Architectures 1-gen-2013 Giugno, Rosalba; Bonnici, V; Bombieri, N; Pulvirenti, A; Ferro, A; Shasha, D.
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 1-gen-2013 Bombieri, Nicola; Fummi, Franco; Vinco, Sara
RTL IP abstraction into optimized embedded software 1-gen-2013 Bombieri, Nicola; D., Forrini; Fummi, Franco; M., Laurenzi; Vinco, Sara
On the reuse of RTL IPs for SysML model generation 1-gen-2013 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications 1-gen-2013 V., Bertacco; D., Chatterjee; Bombieri, Nicola; Fummi, Franco; Vinco, Sara; A. M., Kaushik; H. D., Patel
A Method to Abstract RTL IP Blocks into C++ Code and Enable High-Level Synthesis 1-gen-2013 Bombieri, Nicola; H. Y., Liu; Fummi, Franco; L., Carloni
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 1-gen-2013 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development 1-gen-2013 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 1-gen-2014 Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino
Testbench qualification of SystemC TLM protocols through Mutation Analysis 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano
Comprehensive reconstruction and visualization of non-coding regulatory networks in human 1-gen-2014 Bonnici, Vincenzo; Francesco, Russo; Bombieri, Nicola; Alfredo, Pulvirenti; Giugno, Rosalba
Optimising Memory Management for Belief Propagation in Junction Trees using GPGPUs 1-gen-2014 Bistaffa, Filippo; Farinelli, Alessandro; Bombieri, Nicola
On the Reuse of RTL assertions in Systemc TLM Verification 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 1-gen-2014 Bombieri, Nicola; Distefano, Rosario; Scardoni, Giovanni; Fummi, Franco; Laudanna, Carlo; Giugno, Rosalba
Mostrati risultati da 41 a 60 di 150
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