Abstract— In this paper, we propose optical wireless multipleinput multiple-output (OMIMO) with backward spatial filter (BSF) in diffuse channels. In the proposed system BSF is ...
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Abstract— The V-BLAST (vertical Bell labs layered spacetime) system is one of the MIMO systems designed to achieve a good multiplexing gain. In the recent literature, a V-BLAST p...
Peers in peer-to-peer file-sharing systems use conjunctive queries as a way of controlling query cost in the absence of information about the behavior of other peers. Conjunctive ...
AbstractThis paper describes the evolution of controllers for racing a simulated radio-controlled car around a track, modelled on a real physical track. Five different controller a...