Recently, solvers for the Satisfiability problem (SAT) have become an enabling technology for diverse areas of military and commercial interest. However, solver performance, in terms of speed, maximum problem size, and efficiency, is a limiting factor to the more extensive application of this technology. This paper discusses Reservoir’s SAT-based planning
Sponsored by DARPA in the ACIP Program, this presentation covers demand for cognitive processing, historical architectures for AI / cognitive processing, SAT solvers as a cognitive application, application specific hardware, parallelizing SAT, current performance, and architectural implications.
R-Stream is a High Level Compiler being developed as part of the DARPA IPTO Polymorphous Computer Architecture Program. The compiler is targeted at the problem of mapping high performance embedded signal/knowledge processing applications. Our 2.0 version, presented as a poster at HPEC last year, will be performing application mapping via
The OOCT system implements dynamic optimization within a software emulation of Fujitsu’s K series mainframe architecture. OOCT compiles the instructions of the traditional K series operating system called ASP. The combined requirements of running below the OS and operating in a mainframe product restrict the features of OOCT on the