4075 search results - page 546 / 815 » Modeling Distributed Algorithm Using B |
172
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
175
click to vote
JCISE
2002
15 years 6 months ago
2002
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...
164
click to vote
SIGIR
2006
ACM
16 years 18 days ago
2006
ACM
Large scale learning is often realistic only in a semi-supervised setting where a small set of labeled examples is available together with a large collection of unlabeled data. In...
198
click to vote
ISPD
2007
ACM
15 years 8 months ago
2007
ACM
When VLSI technology scales toward 45nm, the lithography wavelength stays at 193nm. This large gap results in strong refractive effects in lithography. Consequently, it is a huge...
159
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
This paper considers the problem of performing tasks in asynchronous distributed settings. This problem, called DoAll, has been substantially studied in synchronous models, but th...