Sign in
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code.
Hassan Eldib
Chao Wang
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
</>
embedded software
databases
data mining
case study
database design
statistical methods
embedded systems