Sciweavers

6897 search results - page 47 / 1380

» Parallelization of Modular Algorithms

24

DCAI
2008

115views Distributed And Parallel Com...» more DCAI 2008»

Towards Distributed Algorithm Portfolios

13 years 10 months ago

Towards Distributed Algorithm Portfolios

Download www.idsia.ch

Matteo Gagliolo, Jürgen Schmidhuber

claim paper

Read More »

27

IPPS
2010
IEEE

108views Distributed And Parallel Com...» more IPPS 2010»

A multi-source label-correcting algorithm for the all-pairs shortest paths problem

13 years 6 months ago

A multi-source label-correcting algorithm for the all-pairs shortest paths problem

Download www.ipdps.org

Hiroki Yanagisawa

claim paper

Read More »

24

IPPS
2010
IEEE

130views Distributed And Parallel Com...» more IPPS 2010»

Dynamically tuned push-relabel algorithm for the maximum flow problem on CPU-GPU-Hybrid platforms

13 years 6 months ago

Dynamically tuned push-relabel algorithm for the maximum flow problem on CPU-GPU-Hybrid platforms

Download users.ece.gatech.edu

Zhengyu He, Bo Hong

claim paper

Read More »

35

PODC
2011
ACM

153views Distributed and Parallel Com...» more PODC 2011»

Resilience of mutual exclusion algorithms to transient memory faults

12 years 11 months ago

Resilience of mutual exclusion algorithms to transient memory faults

Download people.csail.mit.edu

Thomas Moscibroda, Rotem Oshman

claim paper

Read More »

27

ISOLA
2004
Springer

185views Formal Methods» more ISOLA 2004»

Embedding Finite Automata within regular Expressions

14 years 2 months ago

Embedding Finite Automata within regular Expressions

Download www.cs.uwaterloo.ca

Abstract. Regular expressions and their extensions have become a major component of industry-standard speciﬁcation languages such as PSL/Sugar ([2]). The model checking procedure...

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

claim paper

Read More »

« Prev « First page 47 / 1380 Last » Next »