An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code

Document Details

Document Type: Pub Defense Publication
Publication Date: Nov 01, 2014
Source ID: 10.1109/tcad.2014.2341931

Entities

People

Chao Wang
Hassan Eldib

Organizations

National Science Foundation
Office of Naval Research