Show simple item record

A multi-core version of FreeRTOS verified for datarace and deadlock freedom

date accessioned2020-03-12T21:51:40Z
date available2020-03-12T21:51:40Z
date issued2014
identifier other6961844.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1063097?show=full
formatgeneral
languageEnglish
publisherIEEE
titleA multi-core version of FreeRTOS verified for datarace and deadlock freedom
typeConference Paper
contenttypeMetadata Only
identifier padid8195187
subject keywordsconsumer products
subject keywordsn microsensors
subject keywordsn moulding
subject keywordsn plastic packaging
subject keywordsn semiconductor device packaging
subject keywordsn LGA package
subject keywordsn MEMS mechanical chips
subject keywordsn MEMS sensor industry
subject keywordsn MEMS sensor manufacturing
subject keywordsn MEMS sensor market
subject keywordsn MEMS sensor package
subject keywordsn consumer products
subject keywordsn consumerization wave
subject keywordsn electronic devices
subject keywordsn mobile terminals
subject keywordsn multiple stacked technology
subject keywordsn plastic molded package technology
subject keywordsn single package system
subject keywordsn Accelerometers
subject keywordsn Application specific i
identifier doi10.1109/ICEP.2014.6826711
journal titleormal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
filesize384506
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record