| contributor author | Briggs, M. | |
| contributor author | Zarkesh-Ha, P. | |
| date accessioned | 2020-03-12T21:36:16Z | |
| date available | 2020-03-12T21:36:16Z | |
| date issued | 2014 | |
| identifier other | 6948943.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1054247?locale-attribute=fa&show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Evaluating mobile SOCs as an energy efficient DSP platform | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8184787 | |
| subject keywords | program diagnostics | |
| subject keywords | n program verification | |
| subject keywords | n software quality | |
| subject keywords | n software reliability | |
| subject keywords | n abstract interpretation theory | |
| subject keywords | n dynamic program property verification | |
| subject keywords | n error identification | |
| subject keywords | n error minimization | |
| subject keywords | n interval analysis | |
| subject keywords | n program semantics approximation | |
| subject keywords | n program static analysis | |
| subject keywords | n software development life cycle | |
| subject keywords | n software quality | |
| subject keywords | n software reliability | |
| subject keywords | n software verification | |
| subject keywords | n Abstracts | |
| subject keywords | n Approximation methods | |
| subject keywords | n Computers | |
| subject keywords | n Concrete | |
| identifier doi | 10.1109/IAdCC.2014.6779534 | |
| journal title | ystem-on-Chip Conference (SOCC), 2014 27th IEEE International | |
| filesize | 778210 | |
| citations | 0 | |