Search Sciweavers | Sciweavers

13752 search results - page 228 / 2751

» Parallel and Distributed Haskells

207

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 »

155

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 »

139

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 »

148

click to vote

PPSN
1994
Springer

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

A Genetic Algorithm Discovers Particle-Based Computation in Cellular Automata

15 years 10 months ago

Download web.cecs.pdx.edu

Rajarshi Das, Melanie Mitchell, James P. Crutchfie...

claim paper

Read More »

148

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