: This paper presents an overview over parallel architectures for the efficient realisation of digital libraries by considering image databases as an example. The state of the art ...
We describe the experience of three undergraduate computer science programs offering courses on parallel computing. In particular, we offer three different solutions to the proble...
Using redundant sensors, the direct kinematics of general parallel manipulators is here decoupled and reduced to an orientation problem only. The accuracy of the decoupling depend...
In this paper, we concentrate on the problem of computing a Voronoi diagram using Hypercube model of computation. The main contribution of this work is the O(log3 n) parallel algor...
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...