Sciweavers

11374 search results - page 301 / 2275
» A System Demonstration of ST-TCP
Sort
View
DSN
2007
IEEE
15 years 10 months ago
Performability Models for Multi-Server Systems with High-Variance Repair Durations
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...
Hans-Peter Schwefel, Imad Antonios
169
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
Subcarrier-Pair Based Resource Allocation for Cooperative AF Multi-Relay OFDM Systems
We study the joint allocation of three types of resources, namely, power, subcarriers and relay nodes, in cooperative two-hop multi-relay OFDM systems. Each relay adopts the amplif...
Wenbing Dang, Meixia Tao, Hua Mu, Jianwei Huang
ICFEM
2007
Springer
15 years 10 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
ARCS
2006
Springer
15 years 10 months ago
The Robustness of Resource Allocations in Parallel and Distributed Computing Systems
This corresponds to the material in the invited keynote presentation by H. J. Siegel, summarizing the research in [2, 23]. Resource allocation decisions in heterogeneous parallel a...
Vladimir Shestak, Howard Jay Siegel, Anthony A. Ma...
ATAL
2006
Springer
15 years 10 months ago
The use of agents in human learning systems
This paper examines agent-based systems designed for a variety of human learning tasks. These are typically split into two areas: "training", which generally refers to a...
Elizabeth Sklar, Debbie Richards