contributor author | Barbé | |
contributor author | , K. , Lauwers, L. | |
date accessioned | 2020-03-12T20:15:53Z | |
date available | 2020-03-12T20:15:53Z | |
date issued | 2014 | |
identifier other | 6860123.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1008072?locale-attribute=fa&show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | A novel t-test for low-SNR fMRI brain mapping | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8129854 | |
subject keywords | formal verification | |
subject keywords | quality of service | |
subject keywords | real-time systems | |
subject keywords | scheduling | |
subject keywords | statistical distributions | |
subject keywords | DoQoS | |
subject keywords | PoMD | |
subject keywords | UPPAAL SMC | |
subject keywords | degradation of the quality of service | |
subject keywords | mixed-criticality real-time systems | |
subject keywords | percentage of missed deadlines | |
subject keywords | probabilistic sporadic tasks | |
subject keywords | schedulability degree | |
subject keywords | statistical model checking | |
subject keywords | user-defined continuous probability distributions | |
subject keywords | Analytical models | |
subject keywords | Degradation | |
subject keywords | Model checking | |
subject keywords | Probability distribution | |
subject keywords | Processor scheduling | |
subject keywords | Real-time systems | |
subject keywords | Scheduling | |
subject keywords | Degree of | |
identifier doi | 10.1109/TASE.2014.27 | |
journal title | edical Measurements and Applications (MeMeA), 2014 IEEE International Symposium on | |
filesize | 1015219 | |
citations | 0 | |