Sciweavers

432 search results - page 55 / 87
» Internally deterministic parallel algorithms can be fast
Sort
View
GRID
2003
Springer
15 years 7 months ago
Evaluating Scheduling and Replica Optimisation Strategies in OptorSim
Grid computing is fast emerging as the solution to the problems posed by the massive computational and data handling requirements of many current international scientific project...
David G. Cameron, Rubén Carvajal-Schiaffino...
100
Voted
STOC
1990
ACM
95views Algorithms» more  STOC 1990»
15 years 5 months ago
Separators in Two and Three Dimensions
a 3-dimensions a separator size where is the ber of 3-simplexes in and is the number of ization of the separator results for planar graphs, such as the and Tarjan planar separator...
Gary L. Miller, William P. Thurston
KBSE
2009
IEEE
15 years 8 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
STOC
1989
ACM
96views Algorithms» more  STOC 1989»
15 years 5 months ago
Optimal Size Integer Division Circuits
Division is a fundamental problem for arithmetic and algebraic computation. This paper describes Boolean circuits of bounded fan-in for integer division  nding reciprocals that...
John H. Reif, Stephen R. Tate
93
Voted
ICDCS
2008
IEEE
15 years 8 months ago
Weak vs. Self vs. Probabilistic Stabilization
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...
Stéphane Devismes, Sébastien Tixeuil...