In this paper, a distributed heuristic search algorithm is presented. We show that the algorithm is admissible and give an informal analysis of its load balancing, scalability, an...
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
: In this paper, we intend to study the synthesis of the multibeam arrays. The synthesis implementation’s method for this type of arrays permits to approach the appropriated radi...
—Radio Tomographic Imaging (RTI) is an emerging technology for imaging passive objects (objects that do not carry a transmitting device) with wireless networks. This paper presen...
Paper presents results obtained when porting FEM 2D linear elastostatic local stiffness matrix calculations to Tesla architecture with OpenCL framework. Comparison with native NVID...
Przemyslaw Plaszewski, Krzysztof Banas, Pawel Maci...