Outage-optimal threshold-based opportunistic cooperation in AF relaying systems with staying link information
Author:
Publisher:
Year
: 2014DOI: 10.1109/DSD.2014.100
Keyword(s): Boolean functions,computability,formal verification,set theory,Boolean satisfiability,DUV,design under verification,simulation-based verification coverage,stimuli generation,stimuli sets,Complexity theory,Computational efficiency,Generators,Logic gates,Search problems,Silicon,System-on-chip,Coverage,Hardware Design,Stimuli Generation,Verification
Collections
:
-
Statistics
Outage-optimal threshold-based opportunistic cooperation in AF relaying systems with staying link information
Show full item record
| 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?locale-attribute=en | |
| 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 |