740 search results - page 117 / 148 » Analysis of Scheduling Algorithms with Reservations |
204
Voted
FASE
2004
Springer
15 years 7 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...
137
Voted
PLDI
2003
ACM
15 years 8 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...
135
Voted
TON
2008
15 years 3 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...
112
click to vote
VTC
2008
IEEE
15 years 10 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...
139
Voted
CSDA
2008
15 years 3 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...