12115 search results - page 259 / 2423 » Bisimulation of Dynamical Systems |
207
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
311
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
158
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
188
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
164
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...