The following pages link to Nicola Bombieri (Q3389905):
Displayed 6 items.
- Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-Core Architectures (Q3389906) (← links)
- Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures (Q5125907) (← links)
- Testbench Qualification of SystemC TLM Protocols through Mutation Analysis (Q5268210) (← links)
- Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions (Q5280477) (← links)
- Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components (Q5862566) (← links)
- Formal Methods for Hardware Verification (Q5899151) (← links)