research
∙
12/18/2012
Prediction of Parallel Speed-ups for Las Vegas Algorithms
We propose a probabilistic model for the parallel execution of Las Vegas...
share
research
∙
12/11/2010
On the Implementation of GNU Prolog
GNU Prolog is a general-purpose implementation of the Prolog language, w...
research
∙
10/07/2009
