2229 search results - page 291 / 446 » On Reporting Fold Differences |
76
Voted
ICPPW
2005
IEEE
15 years 3 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
IWPSE
2005
IEEE
15 years 3 months ago
2005
IEEE
As systems evolve their structure change in ways not expected upfront. As time goes by, the knowledge of the developers becomes more and more critical for the process of understan...
NCA
2005
IEEE
15 years 3 months ago
2005
IEEE
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...
102
click to vote
SRDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Recent advances in wireless communication along with Peer-to-peer (P2P) paradigm have led to increasing interest in P2P mobile ad hoc networks. In this paper, we assume an environ...