Publications

Enabling Cognitive Architectures for UAV Mission Planning

The operational performance desired for autonomous vehicles in the battlefield requires new approaches in algorithm design and computation. Our design, Polymorphic Cognitive Agent Architecture (PCAA), is a hardware-software system that supports the requirements for implementing a dynamic multi-unmanned aerial vehicle (UAV) mission planning application using cognitive architectures. We describe the

Read More »

Runtime Verification of Cognitive Applications

Cognitive systems have been the subject of much research, and are increasingly of interest in embedded systems. However, cognitive applications have unique characteristics that make them challenging to verify, validate, and debug. A cognitive application by definition makes intelligent decisions – if it were possible to formally and precisely express

Read More »

Salt & Alef: Unlocking the Power of Boolean Satisfiability

Solvers for the Boolean satisfiability problem (SAT) are an enabling technology for a diverse set of applications relevant to the HPEC community. These applications include formal verification, analysis of numerical precision for embedded pipelines, and cognitive reasoning. However, solver performance, measured in terms of speed and maximum problem size, is

Read More »

Alef Verification and Planning System

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

Read More »

R-Stream 3.0: Technologies for High Level Embedded Application Mapping

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

Read More »

Dynamic Optimization in the Mainframe World

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

Read More »