Login / Signup
Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs.
Khaza Anuarul Hoque
Otmane Aït Mohamed
Yvon Savaria
Published in:
CoRR (2018)
Keyphrases
</>
optimization algorithm
optimization process
optimization problems
global optimization
formal model
learning algorithm
multi objective
ambient intelligence
complex systems
power consumption
data transmission
field programmable gate array
discrete optimization