478 search results - page 66 / 96 » A new approach to auctions and resilient mechanism design |
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
101
click to vote
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
144
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
100
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
157
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...