An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
Publisher:
Year
: 2014DOI: 10.1109/TCAD.2014.2341931
Keyword(s): computability,embedded systems,fixed point arithmetic,optimisation,program compilers,source code (software),LLVM compiler frontend,SMT based method,Yices SMT solver,arithmetic computations optimization,digital signal processing,embedded control,embedded control software,embedded software code,incremental optimization procedure,inductive synthesis procedure,linear fixed-point arithmetic computations,satisfiability modulo theory solver,source code optimization,Benchmark testing
Collections
:
-
Statistics
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
Show full item record
| contributor author | Eldib, Hassan | |
| contributor author | Chao Wang | |
| date accessioned | 2020-03-13T00:26:17Z | |
| date available | 2020-03-13T00:26:17Z | |
| date issued | 2014 | |
| identifier issn | 0278-0070 | |
| identifier other | 6926926.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1146739 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code | |
| type | Journal Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8329607 | |
| subject keywords | computability | |
| subject keywords | embedded systems | |
| subject keywords | fixed point arithmetic | |
| subject keywords | optimisation | |
| subject keywords | program compilers | |
| subject keywords | source code (software) | |
| subject keywords | LLVM compiler frontend | |
| subject keywords | SMT based method | |
| subject keywords | Yices SMT solver | |
| subject keywords | arithmetic computations optimization | |
| subject keywords | digital signal processing | |
| subject keywords | embedded control | |
| subject keywords | embedded control software | |
| subject keywords | embedded software code | |
| subject keywords | incremental optimization procedure | |
| subject keywords | inductive synthesis procedure | |
| subject keywords | linear fixed-point arithmetic computations | |
| subject keywords | satisfiability modulo theory solver | |
| subject keywords | source code optimization | |
| subject keywords | Benchmark testing | |
| identifier doi | 10.1109/TCAD.2014.2341931 | |
| journal title | Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on | |
| journal volume | 33 | |
| journal issue | 11 | |
| filesize | 1292373 | |
| citations | 0 |