7430 search results - page 1283 / 1486 » Programming Applications in CIFF |
162
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
109
Voted
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Parameter variation is detrimental to a processor’s frequency and leakage power. One proposed technique to mitigate it is Fine-Grain Body Biasing (FGBB), where different parts o...
115
Voted
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...
144
click to vote
SP
2007
IEEE
15 years 11 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
156
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...