4463 search results - page 198 / 893 » computer 2000 |
125
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
90
Voted
ICNP
2000
IEEE
15 years 8 months ago
2000
IEEE
A computer network is said to provide hop integrity iff when any router p in the network receives a message m supposedly from an adjacent router q, then p can check that m was ind...
125
Voted
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A probabilistic algorithm is presented to find the determinant of a nonsingular, integer matrix. For a matrix A ¡£¢ n¤ n the algorithm requires O¥ n3¦5 ¥ logn§ 4¦5§ bit...
125
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Presented here is a computational system which uses free−space optical interconnect (FSOI) communication between processing elements to perform distributed calculations. Technolo...
124
Voted
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present the main concepts behind the Galaxy cluster management framework. Galaxy is focused on servicing large-scale enterprise clusters through the use of novel,...