3370 search results - page 185 / 674 » Correlation Embedding Analysis |
129
Voted
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
185
Voted
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
170
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
176
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
140
Voted
ML
2008
ACM
15 years 3 months ago
2008
ACM
Although memory-based classifiers offer robust classification performance, their widespread usage on embedded devices is hindered due to the device's limited memory resources...