Search Sciweavers | Sciweavers

16159 search results - page 350 / 3232

» Parallel computing with CUDA

210

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »

157

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

143

click to vote

PODC
1994
ACM

96views Distributed and Parallel Com...» more PODC 1994»

On the Use of Registers in Achieving Wait-Free Consensus

15 years 10 months ago

Download lpdwww.epfl.ch

Rida A. Bazzi, Gary L. Peterson

claim paper

Read More »

147

click to vote

PODC
1994
ACM

108views Distributed and Parallel Com...» more PODC 1994»

Proving Time Bounds for Randomized Distributed Algorithms

15 years 10 months ago

Download groups.csail.mit.edu

Nancy A. Lynch, Isaac Saias, Roberto Segala

claim paper

Read More »

152

click to vote

PPSN
1994
Springer

103views Distributed And Parallel Com...» more PPSN 1994»

Genetic algorithms with multi-parent recombination

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers