Login / Signup
Helder Cruz Da Silva
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Np Hard
Formal Specification
Hardware Software Partitioning
Lower Bound
Top Venues
Int. J. Embed. Syst.
</>
Publications
</>
Alessandro Bezerra Trindade
,
Renato De Faria Degelo
,
Edilson Galvão Dos Santos Junior
,
Hussama Ibrahim Ismail
,
Helder Cruz Da Silva
,
Lucas Carvalho Cordeiro
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.
Int. J. Embed. Syst.
9 (6) (2017)