Concepedia

Francesco Bruschi

FB

9

Publications

173

Citations

9

H-Index

2002

Active since

Affiliations

Politecnico di Milano(Current)

Francesco Bruschi is an author at Politecnico di Milano specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal VerificationVerificationFormal MethodsParallel ComputingComputer ArchitectureEmbedded SystemsProgram Analysis

Publications per year

2002–2020

9

Publications

9

A high-level synthesis flow for the implementation of iterative stencil loop algorithms on FPGA devices

Alessandro Antonio Nacci, Vincenzo Rana, Francesco Bruschi et al. · 2013 · 31 citations · Full text

Engineering, Electronic Design Automation, Data Dependencies +17

A Real-time Information System for Public Transport in Case of Delays and Service Disruptions

Maurizio Bruglieri, Francesco Bruschi, Alberto Colorni et al. · Transportation research procedia · 2015 · 25 citations · Full text

A Framework for the Functional Verification of SystemC Models

Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto · International Journal of Parallel Programming · 2005 · 23 citations

Engineering, Systemc Models, Verification +9

A Transform-Parametric Approach to Boolean Matching

Giovanni Agosta, Francesco Bruschi, Gerardo Pelosi et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2009 · 22 citations

Circuit Complexity, Engineering, Boolean Function +19

A unified approach to canonical form-based Boolean matching

Giovanni Agosta, Francesco Bruschi, Gerardo Pelosi et al. · Proceedings - ACM IEEE Design Automation Conference · 2007 · 18 citations

Canonical Form-based Approaches, Engineering, Boolean Function +13

Rows per page

1–5 of 9