1087 search results - page 50 / 218 » Achieving Distributed Control through Model Checking |
ICML
2005
IEEE
14 years 8 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 ...
ICPP
2007
IEEE
14 years 2 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...
IPPS
2009
IEEE
14 years 2 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
14 years 3 days 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...
ICN
2009
Springer
14 years 2 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...