Publications/Algorithms

Multiresolution Priority Queues

Priority queues are container data structures essential to many high performance computing (HPC) applications. In this paper, we introduce multiresolution priority queues, a data structure that improves the performance of the standard heap based implementations by trading off a controllable amount of resolution in the space of priorities. The new

Read More »

A Sparse Multidimensional FFT for Real Positive Vectors

We present a sparse multidimensional FFT (sMFFT) randomized algorithm for positive real vectors. The algorithm works in any fixed dimension, requires an (almost)-optimal number of samples (O (R log (N))) and runs in O (R log (N)) complexity (where N is the total size of the vector in d dimensions

Read More »

Embedded Second-Order Cone Programming with Radar Applications

Second-order cone programming (SOCP) is required for the solution of underdetermined systems of linear equations with complex coefficients, subject to the minimization of a convex objective function. This type of computational problem appears in compressed radar sensing, where the goal is to reconstruct a sparse image in a generalized space

Read More »

Lockless Hash Tables with Low False Negatives

Hash tables are efficient storage data structures widely used in many types of high-performance computer-related problems. In their design, optimal trade-offs must be made to accommodate for the specific characteristics of the application. In this paper we present lock-free low-false-negative (LFN) tables, a family of hash tables designed to address

Read More »

Systems, Methods, and Apparatus for Distributed Decision Processing

Methods, apparatus, and computer software product for making a decision based on the semantics of formal logic are provided. In an exemplary embodiment, two custom computing apparatuses are used to resolve the satisfiability of a logical formula and provide an example. In this embodiment, the two custom computing apparatuses operate

Read More »