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.