1087 search results - page 50 / 218 » Achieving Distributed Control through Model Checking |
113
Voted
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
The Relevance Vector Machine (RVM) is a sparse approximate Bayesian kernel method. It provides full predictive distributions for test cases. However, the predictive uncertainties ...
125
Voted
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
Performance and power are critical design constraints in today’s high-end computing systems. Reducing power consumption without impacting system performance is a challenge for t...
100
Voted
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
We consider two flow control schemes for Best Effort traffic in on-chip architectures, which can be deemed as the solutions to the boundary extremes of a class of utility maximi...
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Job management subsystems in parallel environments have to address two important issues: (i) how to associate processes present in the system to the tasks of parallel jobs, and (ii...
137
Voted
ICN
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we describe and evaluate a scalable network of Active Elements (AE) that implements userempowered virtual-multicast overlay network for synchronous data distributio...