Automated verification of the FreeRTOS scheduler in Hip/Sleek.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 381, doi. 10.1007/s10009-014-0307-4
- By:
- Publication type:
- Article
Works matching DE "COMPUTER storage device security measures"
Results: 4
1
2
A novel image cipher based on mixed transformed logistic maps.
- Published in:
- Multimedia Tools & Applications, 2012, v. 56, n. 2, p. 315, doi. 10.1007/s11042-010-0652-6
- By:
- Publication type:
- Article
3
Memory Confidentiality and Integrity Protection Method Based on Variable Length Counter.
- Published in:
- Journal of Algorithms & Computational Technology, 2014, v. 8, n. 4, p. 421, doi. 10.1260/1748-3018.8.4.421
- By:
- Publication type:
- Article
4
Code Cache Management Based on Working Set in Dynamic Binary Translator.
- Published in:
- Computer Science & Information Systems, 2011, v. 8, n. 3, p. 653, doi. 10.2298/CSIS100327022M
- By:
- Publication type:
- Article