1058 search results - page 129 / 212 » Fault-Tolerant Resource Reasoning |
108
click to vote
SIES
2009
IEEE
15 years 7 months ago
2009
IEEE
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
101
click to vote
RECSYS
2009
ACM
15 years 7 months ago
2009
ACM
Recommender systems aim to substantially reduce information overload by suggesting lists of similar items that users may find interesting. Caching has been a useful technique for...
103
click to vote
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract- This paper considers the centralized spectrum allocations in resource-constrained wireless sensor networks with the following goals: (1) allocate spectrum as fairly as po...
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...