Nicola Bombieri

Available identifiers

zbMath Open bombieri.nicolaDBLP58/1093WikidataQ59685490 ScholiaQ59685490MaRDI QIDQ3389905

List of research outcomes

Publication	Date of Publication	Type
Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-Core Architectures	2022-03-23	Paper
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components	2022-03-09	Paper
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures	2020-10-02	Paper
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions	2017-07-27	Paper
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis	2017-06-20	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper

Research outcomes over time

This page was built for person: Nicola Bombieri