Publications

Methods, apparatus, and computer software product for making a decision based on the semantics of formal logic are provided. In…

As distributed memory systems grow larger, communication demands have increased. Unfortunately, while the costs of arithmetic operations continue to decrease…

This presentation outlined an algorithm to increase locality in breadth first search (BFS) graph algorithms, of the sort used in Graph500.…

The operational performance desired for autonomous vehicles in the battlefield requires new approaches in algorithm design and computation. Our design,…

Cognitive systems have been the subject of much research, and are increasingly of interest in embedded systems. However, cognitive applications…