Results for "Computer Engineering Research Center"
Research is currently being carried out in the fields of VLSI Testing and Design for Testability, Formal Verification, Design and Evaluation of Fault-Tolerant Systems, Sequential Synthesis, Binary decision diagrams, Timed/Stochastic systems, VLSI CAD/ Design Automation, Distributed Systems, Computer Architecture, Software Engineering and several other key areas.
Website: http://www.cerc.utexas.edu/
Projects
There are no results.