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

Sponsored by DARPA in the ACIP Program, this presentation covers demand for cognitive processing, historical architectures for AI / cognitive…

R-Stream is a High Level Compiler being developed as part of the DARPA IPTO Polymorphous Computer Architecture Program. The compiler…

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