A multi-core version of FreeRTOS verified for datarace and deadlock freedom
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/ICEP.2014.6826711
کلیدواژه(گان): consumer products,n microsensors,n moulding,n plastic packaging,n semiconductor device packaging,n LGA package,n MEMS mechanical chips,n MEMS sensor industry,n MEMS sensor manufacturing,n MEMS sensor market,n MEMS sensor package,n consumer products,n consumerization wave,n electronic devices,n mobile terminals,n multiple stacked technology,n plastic molded package technology,n single package system,n Accelerometers,n Application specific i
کالکشن
:
-
آمار بازدید
A multi-core version of FreeRTOS verified for datarace and deadlock freedom
Show full item record
| date accessioned | 2020-03-12T21:51:40Z | |
| date available | 2020-03-12T21:51:40Z | |
| date issued | 2014 | |
| identifier other | 6961844.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1063097 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | A multi-core version of FreeRTOS verified for datarace and deadlock freedom | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8195187 | |
| subject keywords | consumer products | |
| subject keywords | n microsensors | |
| subject keywords | n moulding | |
| subject keywords | n plastic packaging | |
| subject keywords | n semiconductor device packaging | |
| subject keywords | n LGA package | |
| subject keywords | n MEMS mechanical chips | |
| subject keywords | n MEMS sensor industry | |
| subject keywords | n MEMS sensor manufacturing | |
| subject keywords | n MEMS sensor market | |
| subject keywords | n MEMS sensor package | |
| subject keywords | n consumer products | |
| subject keywords | n consumerization wave | |
| subject keywords | n electronic devices | |
| subject keywords | n mobile terminals | |
| subject keywords | n multiple stacked technology | |
| subject keywords | n plastic molded package technology | |
| subject keywords | n single package system | |
| subject keywords | n Accelerometers | |
| subject keywords | n Application specific i | |
| identifier doi | 10.1109/ICEP.2014.6826711 | |
| journal title | ormal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on | |
| filesize | 384506 | |
| citations | 0 |