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 | http://libsearch.um.ac.ir:80/fum/handle/fum/1054247?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 | |