1294 search results - page 194 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
128
Voted
SSS
2005
Springer
15 years 10 months ago
2005
Springer
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
148
click to vote
OPODIS
2004
15 years 6 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
187
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
154
Voted
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
136
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we present Chameleon—an application-level power management approach for reducing energy consumption in mobile processors. Our approach exports the entire responsi...