5615 search results - page 285 / 1123 » On the Computational Capabilities of Several Models |
216
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Large data centers host several application environments (AEs) that are subject to workloads whose intensity varies widely and unpredictably. Therefore, the servers of the data ce...
228
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Iris segmentation is one of the crucial steps in building an iris recognition system since it affects the accuracy of the iris matching significantly. This segmentation should acc...
172
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
157
click to vote
SPAA
1993
ACM
15 years 11 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...
208
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...