386 search results - page 46 / 78 » Static Timing Analysis of Real-Time Operating System Code |
105
click to vote
NSPW
2003
ACM
15 years 7 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
155
Voted
EMSOFT
2008
Springer
15 years 3 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...
100
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
123
click to vote
FAC
2010
15 years 14 days ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
209
click to vote
CSMR
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...