4075 search results - page 123 / 815 » Modeling Distributed Algorithm Using B |
PPOPP
2010
ACM
14 years 8 months ago
2010
ACM
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
NIPS
1998
13 years 12 months ago
1998
When learning a mixture model, we suffer from the local optima and model structure determination problems. In this paper, we present a method for simultaneously solving these prob...
SPAA
1993
ACM
14 years 2 months ago
1993
ACM
We consider several natural broadcasting problems for the LogP model of distributed memory machines recently proposed by Culler et al. For each of these problems, we present algor...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
ISPD
2005
ACM
14 years 4 months ago
2005
ACM
In the nanometer VLSI technology, the variation effects like manufacturing variation, power supply noise, temperature etc. become very significant. As one of the most vital nets...