11603 search results - page 199 / 2321 » Embedded System Security |
197
Voted
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
217
click to vote
CASES
2006
ACM
16 years 29 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
228
Voted
EMSOFT
2004
Springer
16 years 11 days ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
241
Voted
CASES
2007
ACM
15 years 11 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...
205
Voted
RTCSA
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...