In this paper we examine the effect that different knowledge sharing strategies have on the performance of our parallel QBF Solver PaQuBE. This new Master/Slave MPI based solver leverages the additional computational power that can be exploited from modern computer and system architectures, to solve more relevant instances and faster than previous generation solvers. Knowledge sharing plays a c...

MIMO (Multiple-Input Multiple-Out-put) system is a core technology used in 802.11n which used multiple antennas to suppress fading. In the field of WSN network, routing protocols must be designed to minimize energy consumption for the nodes’ energy supply is constrained. Using MIMO technique in WSN could make use of the energy accumulation in the receiving nodes to increase the receiver signal ...

The large-scale mobile Underwater Wireless Sensor Network (UWSN) is a useful networking paradigm to explore underwater environments. The characteristics of mobile UWSNs, such as low communication bandwidth, large propagation delay, and floating node mobility are significantly different from wireless sensor networks. In this paper, we propose a new efficient routing protocol, called multi-path r...

Multi-core processors have recently been available on most personal computers. To get the maximum benefit of computational power from the multi-core architecture, we need a new design on existing algorithms and software. In this paper we propose the parallelization of the well-known k-means clustering algorithm. We employ a single program multiple data (SPMD) approach based on a message passing...

In this paper we present the parallel QBF Solver PaQuBE. This new solver leverages the additional computational power that can be exploited from modern computer architectures, from pervasive multicore boxes to clusters and grids, to solve more relevant instances faster than previous generation solvers. Furthermore, PaQuBE’s progressive MPI based parallel framework is the first to support advanc...

A time-reversal mirror is, roughly speaking, a device which is capable of receiving a signal in time, keeping it in memory and sending it back into the medium in the reversed direction of time. A brief mathematical review of the time-reversal theory is presented in the context of the linear shallow water equations. In particular an explicit expression is given for the refocused pulse in the sim...