contributor author | Jeong, Dae-Kyo , Kim, Dongwoo | |
date accessioned | 2020-03-12T21:00:21Z | |
date available | 2020-03-12T21:00:21Z | |
date issued | 2014 | |
identifier other | 6920313.pdf | |
identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1033641?show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | Outage-optimal threshold-based opportunistic cooperation in AF relaying systems with staying link information | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8159425 | |
subject keywords | Boolean functions | |
subject keywords | computability | |
subject keywords | formal verification | |
subject keywords | set theory | |
subject keywords | Boolean satisfiability | |
subject keywords | DUV | |
subject keywords | design under verification | |
subject keywords | simulation-based verification coverage | |
subject keywords | stimuli generation | |
subject keywords | stimuli sets | |
subject keywords | Complexity theory | |
subject keywords | Computational efficiency | |
subject keywords | Generators | |
subject keywords | Logic gates | |
subject keywords | Search problems | |
subject keywords | Silicon | |
subject keywords | System-on-chip | |
subject keywords | Coverage | |
subject keywords | Hardware Design | |
subject keywords | Stimuli Generation | |
subject keywords | Verification | |
identifier doi | 10.1109/DSD.2014.100 | |
journal title | ireless and Mobile, 2014 IEEE Asia Pacific Conference on | |
filesize | 345835 | |
citations | 0 | |