4747 search results - page 41 / 950 » Shuffle Memory System |
ISWC
2003
IEEE
15 years 3 months ago
2003
IEEE
Wearables are frequently designed to support users engaged in complex “real world” activities, ranging from food inspection to ground combat. Unfortunately, wearables also hav...
ASPDAC
2006
ACM
15 years 3 months ago
2006
ACM
Scratchpad memory has been introduced as a replacement for cache memory as it improves the performance of certain embedded systems. Additionally, it has also been demonstrated tha...
ECRTS
2008
IEEE
15 years 4 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
76
Voted
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
QSIC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...