Sciweavers

9176 search results - page 96 / 1836
» algorithms 2010
Sort
View
85
Voted
TACAS
2010
Springer
153views Algorithms» more  TACAS 2010»
15 years 9 months ago
Simplifying Linearizability Proofs with Reduction and Abstraction
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi...
FUN
2010
Springer
202views Algorithms» more  FUN 2010»
15 years 7 months ago
Tradeoffs in Process Strategy Games with Application in the WDM Reconfiguration Problem
Nathann Cohen, David Coudert, Dorian Mazauric, Nap...
99
Voted
STOC
2010
ACM
186views Algorithms» more  STOC 2010»
15 years 1 months ago
Detecting high log-densities: an O(n1/4) approximation for densest k-subgraph
Aditya Bhaskara, Moses Charikar, Eden Chlamtac, Ur...
68
Voted
WDAG
2010
Springer
168views Algorithms» more  WDAG 2010»
15 years 1 months ago
Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony
Antonio Fernández Anta, Alessia Milani, Mig...
182
Voted
IWOCA
2010
Springer
185views Algorithms» more  IWOCA 2010»
14 years 9 months ago
Efficient Connectivity Testing of Hypercubic Networks with Faults
Tomás Dvorák, Jirí Fink, Petr...