Today, ACAL researchers are exploring design technologies for powerful computing systems that can be seamlessly embedded into their application domains, functioning reliably for extended time periods without human intervention. In this context, research is being pursued in the broad areas of low-energy computing, high-performance architectures, verification of highly complex systems, embedded computer design, and fault tolerant computer design.