91 search results - page 18 / 19 » Software-Assisted Cache Replacement Mechanisms for Embedded ... |
107
click to vote
ADAEUROPE
2008
Springer
15 years 4 months 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 ...
108
click to vote
CASES
2007
ACM
15 years 2 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...
85
Voted
BIRTHDAY
2006
Springer
15 years 2 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...
SENSYS
2006
ACM
15 years 4 months 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...
83
Voted
SP
2010
IEEE
15 years 2 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...