Keyword:distributed computing

Papers
Dolius: A Distributed Parallel SAT Solving Framework Gilles Audemard, Benoît Hoessen, Said Jabbour and Cédric Piette In:POS-14. Fifth Pragmatics of SAT workshop
The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing Rao Mikkilineni, Albert Comparini and Giovanni Morana In:Turing-100. The Alan Turing Centenary