Publications

We present a fast, large-scale algorithm for the simulation of electromagnetic waves (Maxwell’s equations) in three-dimensional inhomogeneous media. The algorithm…

The Combinatorial Multigrid (CMG) technique is a practical and adaptable solver and combinatorial preconditioner for solving certain classes of large,…

We present the architecture of a high-performance constraint solver R-Solve that extends the gains made in SAT performance over the…

Compiler optimizations based on the polyhedral model are able to automatically parallelize and optimize loopbased code. We acknowledge that while…

This report describes the accelerated analytic solution provided by Reservoir Labs' ENSIGN software on HPE Superdome Flex. Specifically, it outlines…

A multiresolution parser (MRP) can selectively extract one or more information units from a dataset based on the available processing…

Positive linear programming (PLP), also known as packing and covering linear programs, is an important class of problems frequently found…

Full packet capture (FPC) consists in capturing all packets and storing them into permanent storage to enable offline forensic analysis.…

A compilation system can define, at compile time, the data blocks to be managed by an Even Driven Task (EDT)…