Search Sciweavers | Sciweavers

9176 search results - page 96 / 1836

» algorithms 2010

100

click to vote

TACAS
2010
Springer

153views Algorithms» more TACAS 2010»

Simplifying Linearizability Proofs with Reduction and Abstraction

15 years 11 months ago

Download network.ku.edu.tr

Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi...

claim paper

Read More »

147

click to vote

FUN
2010
Springer

202views Algorithms» more FUN 2010»

Tradeoffs in Process Strategy Games with Application in the WDM Reconfiguration Problem

15 years 9 months ago

Download www-sop.inria.fr

Nathann Cohen, David Coudert, Dorian Mazauric, Nap...

claim paper

Read More »

115

click to vote

STOC
2010
ACM

186views Algorithms» more STOC 2010»

Detecting high log-densities: an O(n1/4) approximation for densest k-subgraph

15 years 2 months ago

Download www.cs.princeton.edu

Aditya Bhaskara, Moses Charikar, Eden Chlamtac, Ur...

claim paper

Read More »

click to vote

WDAG
2010
Springer

168views Algorithms» more WDAG 2010»

Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony

15 years 2 months ago

Download www.research.rutgers.edu

Antonio Fernández Anta, Alessia Milani, Mig...

claim paper

Read More »

194

click to vote

IWOCA
2010
Springer

185views Algorithms» more IWOCA 2010»

Efficient Connectivity Testing of Hypercubic Networks with Faults

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers