Sciweavers

7456 search results - page 201 / 1492
» Parallelism in Logic Programming
Sort
View
PVM
2007
Springer
16 years 17 days ago
Advanced MPI Programming
Julien Langou, George Bosilca
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 6 months ago
Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory
In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale's thesis [K...
Xiaodi Wu
PPDP
2009
Springer
16 years 1 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus