91 search results - page 18 / 19 » Software-Assisted Cache Replacement Mechanisms for Embedded ... |
211
click to vote
ADAEUROPE
2008
Springer
16 years 21 days ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
203
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents the first automatic scheme to allocate local (stack) data in recursive functions to scratch-pad memory (SPM) in embedded systems. A scratch-pad is a fast direct...
174
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
275
click to vote
SENSYS
2006
ACM
16 years 9 days ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
153
Voted
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Most security mechanisms proposed to date unquestioningly place trust in microprocessor hardware. This trust, however, is misplaced and dangerous because microprocessors...