740 search results - page 117 / 148 » Analysis of Scheduling Algorithms with Reservations |
141
click to vote
FASE
2004
Springer
15 years 1 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
TON
2008
14 years 9 months ago
2008
Server selection plays an essential role in content replication networks, such as peer-to-peer (P2P) and content delivery networks (CDNs). In this paper, we perform an analytical i...
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper addresses advanced radio resource management (RRM) algorithms for multiple-input multipleoutput (MIMO) transmission schemes in downlink OFDMA systems. The analysis c...
CSDA
2008
14 years 9 months ago
2008
It is shown that any pair of scatter and spatial scatter matrices yields an estimator of the separating matrix for complex-valued independent component analysis (ICA). Scatter (re...