— In this paper, we propose a new carrier frequency offset (CFO) tracking algorithm for orthogonal frequency division multiplexing (OFDM) systems. Assuming that the channel remai...
The diversity of methods for fast collision search in SHA-1 and similar hash functions makes a comparison of them difficult. The literature is at times very vague on this issue, wh...
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
During teleoperation, the automatic identification of remote environment properties has the potential of improving performance by providing task-specific feedback to the operator. ...
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegi...