Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits.
Saman FröhlichRolf DrechslerPublished in: it Inf. Technol. (2022)
Keyphrases
- genetic programming
- computer algebra
- theorem prover
- evolutionary computation
- genetic algorithm
- gene expression programming
- symbolic regression
- evolutionary algorithm
- efficient computation
- approximation error
- fitness function
- financial forecasting
- closed form
- memory space
- random access memory
- lagrange interpolation
- polar coordinates
- power dissipation
- automated theorem provers
- approximation algorithms
- grammar guided genetic programming
- computer algebra systems
- delay insensitive
- queueing networks
- high speed
- knowledge base