Evaluating mobile SOCs as an energy efficient DSP platform
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/IAdCC.2014.6779534
کلیدواژه(گان): program diagnostics,n program verification,n software quality,n software reliability,n abstract interpretation theory,n dynamic program property verification,n error identification,n error minimization,n interval analysis,n program semantics approximation,n program static analysis,n software development life cycle,n software quality,n software reliability,n software verification,n Abstracts,n Approximation methods,n Computers,n Concrete
کالکشن
:
-
آمار بازدید
Evaluating mobile SOCs as an energy efficient DSP platform
Show full item record
| 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 | |
| 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 |