1420 search results - page 116 / 284 » A Framework for Scheduler Synthesis |
167
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
151
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
194
click to vote
DIWEB
2004
15 years 7 months ago
2004
In this paper, we propose a methodology developed in the framework of the VISPO project for engineering a three-layer ontology, based on the conceptualization, integration, synthes...
153
click to vote
SIGMETRICS
2009
ACM
16 years 24 days ago
2009
ACM
A common practice in system design is to treat features intended to enhance performance and reliability as low priority tasks by scheduling them during idle periods, with the goal...
153
click to vote
ICC
2008
IEEE
16 years 22 days ago
2008
IEEE
—Inspired by the success of the low-density parity-check (LDPC) codes in the field of error-control coding, in this paper we propose transforming the downlink multiuser multiple-...