Publications

Stream processing exploits the properties of stream applications such as parallelism and throughput-oriented nature of the applications. One of the…

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

Recently, solvers for the Satisfiability problem (SAT) have become an enabling technology for diverse areas of military and commercial interest.…

The OOCT system implements dynamic optimization within a software emulation of Fujitsu's K series mainframe architecture. OOCT compiles the instructions…